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