Математическая логика и теория алгоритмов
| Подзаголовок: | Учебное пособие |
| Издательство: | Северо-Кавказский федеральный университет |
| Авторы: | Макоха А.Н., Шапошников А.В., Бережной В.В. |
| Год издания: | 2017 |
| ISBN: | |
| Тип издания: | учебное пособие |
| Гриф: |
Библиографическая запись
Макоха, А. Н. Математическая логика и теория алгоритмов : учебное пособие / А. Н. Макоха, А. В. Шапошников, В. В. Бережной. — Ставрополь : Северо-Кавказский федеральный университет, 2017. — 418 c. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/69397 (дата обращения: 05.12.2025). — Режим доступа: для авторизир. пользователей
Об издании
Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.
Рекомендуем
Маркшейдерско-топографическое черчение
