Название: Математическая логика и теория алгоритмов
Автор: Блатов И. А.
Год: 2017
Формат: pdf
Издательство: Изд-во ПГУТИ
Страниц: 214
Для сайта: litmy.ru
Размер: 2,5Mb
Язык: русский

Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.

Скачать с Turbobit