Математическая логика и теория алгоритмов

Описание

Учебное пособие подготовлено сотрудниками кафедры высшей математики СГУГиТ: кандидатом физико-математических наук, доцентом В. Л. Неклюдовой и старшим преподавателем В. П. Вербной. Настоящее пособие состоит из разделов базового курса дисциплины: логика высказываний, логика предикатов, конечные автоматы, теория алгоритмов. Изложение теоретического материала сопровождается примерами, раскрывающими смысл основных понятий. Учебное пособие по дисциплине «Математическая логика и теория алгоритмов» предназначено для обучающихся по направлению подготовки 10.03.01 Информационная безопасность (уровень бакалавриата). Рекомендовано к изданию кафедрой высшей математики, Ученым советом Института геодезии и менеджмента СГУГиТ. Печатается по решению редакционно-издательского совета СГУГиТ