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