Математическая логика и теория алгоритмов: учебно-методическое пособие — Пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки «Информационная безопасность». Учебно-методическое пособие содержит подробные лекции с наглядными примерами и компьютерной поддержкой, касающиеся применения элементов и методов математической логики к безопасности информационных технологий; задачи для домашних и контрольных работ, тематику индивидуальных работ в рамках научно-исследовательских работ, необходимую справочную информацию. Математическая логика необходима, в том числе, и для того, чтобы преодолевать ряд возможных противоречий, возникших из логического анализа.

Название: Математическая логика и теория алгоритмов: учебно-методическое пособие
Автор: Геут К. Л., Титов С. С.
Издательство: Екатеринбург: УрГУПС
Год: 2017
Страниц: 87
Формат: DJVU
Размер: 21,99 МБ
Качество: Отличное

Содержание:

Введение
Предмет математической логики
Математическая логика
Элементы теории алгоритмов
Библиографический список