Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017 Формат: pdf Страниц: 418 Для сайта:Mirknig.su Размер: 5,5Mb Язык: русский
Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов, в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта, излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Блатов И. А. Год: 2017 Формат: pdf Издательство: Изд-во ПГУТИ Страниц: 214 Для сайта:...
Математическая логика и теория алгоритмов (2013) Название: Математическая логика и теория алгоритмов Автор: Крупский В.Н., Плиско В.Е. Издательство: Академия Год: 2013 Страниц: 418 Формат: pdf...
Математическая логика: Учебное пособие для вузов Название: Математическая логика: Учебное пособие для вузов Автор: Ершов Ю.Л., Палютин Е.А. Издательство: Наука Год: 1987 Формат: pdf Страниц: 336...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Игошин В.И. Издательство: Академия Год: 2008 - 2-е изд. Cтраниц: 448 Формат: pdf Размер:...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Математическая логика и теория алгоритмов 
