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

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