Полное описание
>
Математическая логика и теория алгоритмов : учебное пособие / сост.: А. Н. Макоха [и др.] ; сост. А. Н. Макоха. - Ставрополь : Северо-Кавказский Федеральный университет (СКФУ), 2017. - 418 с. - URL: https://biblioclub.ru/index.php?page=book&id=467015 (дата обращения: 25.04.2024) . - Режим доступа: Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация. - Библиогр. в кн. - текст : электронный.УДК | |
94(5)(075.8) |
ББК | |
22.12я73 |
Кл.слова (ненормированные): УЧЕБНИК ДЛЯ ВЫСШЕЙ ШКОЛЫ
Аннотация: Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.
Доп. точки доступа:
Макоха, А. Н.\сост.\
Шапошников, А. В.\сост.\
Бережной, В. В.\сост.\
https://biblioclub.ru/index.php?page=book&id=467015
Держатели документа:
ЭБС Университетская библиотека онлайн : 117342, г. Москва, ул. Обручева, д. 34/63, стр. 3 (Шифр в БД-источнике (BIBLIO): 467015)>
Шифр в сводном ЭК: ef090023570ff08b782f172b40467964
Просмотр издания Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация