Математическая логика и теория алгоритмов

Рассмотрены основные разделы курса математической логики: алгебра логики, исчисление высказываний, логика и исчисление предикатов, а также некоторые вопросы рекурсивных функций. Во второй части приведены решения почти всех задач, предложенных на практических занятиях, причём развёрнутые решения некоторых из них дополняют основной курс, изложенный в первой части. пособие полезно для знакомства с основными направлениями и методами математической логики и теории алгоритмов и предназначено для студентов технических вузов, обучающихся по специальностям 'Автоматизированные системы обработки информации и управления', 'Информатика и вычислительная техника'. С. Д. Шапорев; БГТУ 'ВОЕНМЕХ'

Читать далее и скачать