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