Математическая логика и теория алгоритмов. Учебное пособие
Об издании
Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.
Библиографическая запись
Макоха, А. Н. Математическая логика и теория алгоритмов : учебное пособие / А. Н. Макоха, А. В. Шапошников, В. В. Бережной. — Ставрополь : Северо-Кавказский федеральный университет, 2017. — 418 c. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/69397.html (дата обращения: 20.06.2024). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Иванова Ю.А., Мишенева Ю.И., Нестеренко В.Г., Сайтимова Т.Н.
(Профобразование, Ай Пи Ар Медиа)
Мартынов А.П., Мартынова И.А., Русаков А.А.
(Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Соколов А.Т.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Тягунов Г.В., Волкова А.А., Шишкунов В.Г., Барышев Е.Е.
(Профобразование, Уральский федеральный университет)
Галатенко В.А.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Посталовский А.В., Бельский А.М., Воронина С.Н., Горбач М.И., Кармызова Д.Д., Малиновская Н.Н., Нейман К.П., Сухотский Н.Н., Поклад Е.А., Грак С.С., Новицкий Е.Н....
(Белорусская наука)
На конкретных примерах рассмотрим:
На конкретных примерах рассмотрим: