Математическая логика и теория алгоритмов. Учебное пособие
Об издании
Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и 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 ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Пахомов Д.С., Куликова Е.А., Аносов А.С.
(Ай Пи Ар Медиа)
Семакова А.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Боев В.Д.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Бражук А.И.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Пахомов Д.С., Куликова Е.А., Аносов А.С.
(Ай Пи Ар Медиа)
Семакова А.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Боев В.Д.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Бражук А.И.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)