Перейти до змісту

Математическая логика и теория алгоритмов учебное пособие

Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Инфо...

Повний опис

Збережено в:
Бібліографічні деталі
Автор: Старожилова О. В.
Формат: Книга
Мова:Russian
Опубліковано: Самара ПГУТИ 2024
Предмети:
Онлайн доступ:https://e.lanbook.com/book/463655
https://e.lanbook.com/img/cover/book/463655.jpg
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Опис
Резюме:Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.
Фізичний опис:214 с.
Аудиторія:Книга из коллекции ПГУТИ - Математика
СЭБ
Бібліографія:Библиогр.: доступна в карточке книги, на сайте ЭБС Лань