Электронный каталог

Электронный ресурс

Математическая логика и теория алгоритмов : учебное пособие / сост. А. Н. Макоха ; сост. А. В. Шапошников ; сост. В. В. Бережной ; Министерство образования РФ ; Федеральное государственное автономное образовательное учреждение высшего образования «Северо-Кавказский федеральный университет». – Ставрополь : СКФУ, 2017. – 418 с. – Режим доступа : http://biblioclub.ru/index.php?page=book&id=467015. – http://biblioclub.ru/. – Библиогр. в кн. – На рус. яз.

Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.

94(5)(075.8)

основной = ЭБС Университетская библиотека