Название: Курс лекций по математической логике и теории алгоритмов
Автор: Алиев Ф.К., Юров И.А.
Издательство: М.: МИФИ
Год: 2003
Формат: pdf
Страниц: 199
Размер: 54,4 Mb
Язык: Русский

В настоящем учебном пособии изложены основы теории двоичных функций, исчисления предикатов, теории моделей, элементов теории алгоритмов и теории сложности вычислительных задач.
Книга предназначена для студентов, специализирующихся в областях, связанных с информационной безопасностью, а также для преподавателей дискретной математики.