Название: Математическая логика и теория алгоритмов
Автор: Макоха А. Н., Шапошников А. В., Бережной В. В.
Издательство: изд-во СКФУ
Год: 2017
Формат: pdf
Страниц: 418
Для сайта: litgu.ru
Размер: 5,5Mb
Язык: русский
Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов, в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта, излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки
Скачать с Turbobit