Математическая логика и теория алгоритмов
Математика Бакалавриат
Характеристики
2025 год • 163 страниц • 1.6 MB
Издательство Пермский государственный аграрно-технологический университет имени академика Д. Н. Прянишникова
ISBN 978-5-94279-669-3
Тип издания учебное пособие
Описание
В учебном пособии изложены традиционные разделы математической логики: формальная логика, логика высказываний, логика предикатов, основы теории алгоритмов. Курс содержит теоретический материал, решение задач, задания для самостоятельной работы и вопросы для самоконтроля. Пособие предназначено для обучающихся всех форм обучения по направлениям подготовки 09.03.02 Информационные системы и технологии, 09.03.02 Информационные системы и технологии (сетевая программа), 09.03.03 Прикладная информатика и 09.03.04 Программная инженерия.
