Математическая логика и теория алгоритмов: учебно-методическое пособие — Пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки «Информационная безопасность». Учебно-методическое пособие содержит подробные лекции с наглядными примерами и компьютерной поддержкой, касающиеся применения элементов и методов математической логики к безопасности информационных технологий; задачи для домашних и контрольных работ, тематику индивидуальных работ в рамках научно-исследовательских работ, необходимую справочную информацию. Математическая логика необходима, в том числе, и для того, чтобы преодолевать ряд возможных противоречий, возникших из логического анализа.
Название: Математическая логика и теория алгоритмов: учебно-методическое пособие Автор: Геут К. Л., Титов С. С. Издательство: Екатеринбург: УрГУПС Год: 2017 Страниц: 87 Формат: DJVU Размер: 21,99 МБ Качество: Отличное
Содержание:
Введение Предмет математической логики Математическая логика Элементы теории алгоритмов Библиографический список
|