Электронный каталог

Электронный ресурс

Старожилова, О. В.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие. – Самара : ПГУТИ, 2024. – 214 с. – Режим доступа : https://e.lanbook.com/book/463655, https://e.lanbook.com/img/cover/book/463655.jpg. – Книга из коллекции ПГУТИ - Математика. – На рус. яз.

Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.

519.6

основной = ЭБС Лань