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