Математическая логика и теория алгоритмов учебно-методическое-пособие

Математическая логика и теория алгоритмов, учебно-методическое-пособие

Bibliographic Details
Main Author:	Геут К. Л.
Other Authors:	Титов С. С.
Summary:	Учебно-методическое пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки 10.03.01 – «Информационная безопасность». Содержит подробные лекции с наглядными примерами и компьютерной поддержкой, касающиеся применения элементов и методов математической логики к безопасности информационных технологий; задачи для домашних и контрольных работ, тематику индивидуальных работ в рамках научно-исследовательских работ, необходимую справочную информацию. Книга из коллекции - Математика
Published:	Екатеринбург, 2017
Subjects:	математическая логика парадоксы антиномии апории противоречия алгебра высказываний логические связки булевы функции алгебра логики формулы алгебры логики нормальные формы булевых функций дедуктивные исчисления аксиоматика пеано исчисление предикатов кванторы логика предикатов рекурсия определение рекурсивных функций теория алгоритмов нормальный алгоритм машина тьюринга машина поста криптографические алгоритмы np-полнота
Online Access:	https://e.lanbook.com/book/121389 https://e.lanbook.com/img/cover/book/121389.jpg
Format:	Electronic Book

Internet

https://e.lanbook.com/book/121389
https://e.lanbook.com/img/cover/book/121389.jpg