Подробное описание документа

Геут К. Л., Титов С. С.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Геут К. Л., Титов С. С. - Уральский государственный университет путей сообщения, 2017.
Учебно-методическое пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки 10.03.01 – «Информационная безопасность». Содержит подробные лекции с наглядными примерами и компьютерной поддержкой, касающиеся применения элементов и методов математической логики к безопасности информационных технологий; задачи для домашних и контрольных работ, тематику индивидуальных работ в рамках научно-исследовательских работ, необходимую справочную информацию.