Вы находитесь на странице: 1из 111
 
Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ
У
ЧЕБНОЕ
 
ПОСОБИЕ
ИНСТИТУТ КОСМИЧЕСКИХ И ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
 
Министерство
 
науки
 
и
 
высшего
 
образования
 
Российской
 
Федерации
 
Сибирский
 
федеральный
 
университет
 
Ю
.
В
.
Вайнштейн
 
Т
.
Г
.
Пенькова
 
В
.
И
.
Вайнштейн
 
М ТЕМ ТИЧЕСК Я
 
ЛОГИК И
 
ТЕОРИЯ
 
ЛГОРИТМОВ
 
Учебное
 
пособие
 
Красноярск
 
СФУ
 2019
 
УДК
 510.6(07)
ББК
 22.122
я
73
В
145
Р е ц е н з е н т ы
:
 Л 
.
Ф
.
 Ноженкова
,
доктор
 
технических
 
наук
,
профессор
,
зав
.
отде
-
лом
 
прикладной
 
информатики
 
Института
 
вычислительного
 
моделиро
-
вания
 
СО
 
РАН
;
 Г 
.
 М 
.
 Рудакова
,
кандидат
 
физико
-
математических
 
наук
,
профес
-
сор
 
кафедры
 
информационно
-
управляющих
 
систем
 
Сибирского
 
госу
-
дарственного
 
университета
 
науки
 
и
 
технологий
 
имени
 
академика
 
М
.
Ф
.
Решетнева
 
Вайнштейн
,
Ю
.
В
.
В
145
Математическая
 
логика
 
и
 
теория
 
алгоритмов
 :
учеб
.
посо
-
бие
 /
Ю
.
В
.
Вайнштейн
,
Т
.
Г
.
Пенькова
,
В
.
И
.
Вайнштейн
.
Красноярск
 :
Сиб
.
федер
.
ун
-
т
, 2019. – 110
с
. ISBN 978-5-7638-4076-6
Изложены
 
темы
,
традиционно
 
изучаемые
 
в
 
курсе
 
математической
 
логи
-
ки
 
и
 
теории
 
алгоритмов
:
алгебра
 
логики
 
и
 
исчисление
 
высказываний
,
логика
 
и
 
исчисление
 
предикатов
,
формальные
 
аксиоматические
 
теории
,
теория
 
ал
-
горитмов
 
и
 
теория
 
вычислительной
 
сложности
.
Предназначено
 
для
 
студентов
 
направления
 
подготовки
 09.03.04 «
Про
-
граммная
 
инженерия
».
Также
 
будет
 
полезно
 
студентам
 
направлений
 09.03.02 «
Информационные
 
системы
 
и
 
технологии
», 27.03.03 «
Системный
 
анализ
 
и
 
управление
».
Электронный
 
вариант
 
издания
 
см
.:
УДК
 510.6(07) http://catalog.sfu-kras.ru
ББК
 22.122
я
73
ISBN 978-5-7638-4076-6 ©
Сибирский
 
федеральный
 
университет
, 2019
 

Вознаградите свое любопытство

Все, что вы хотели прочитать.
Когда угодно. Где угодно. На любом устройстве.
Отменить можно в любой момент
576648e32a3d8b82ca71961b7a986505