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

Описание

В учебно-методическом пособии изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики, булева алгебра и исчисления высказываний и предикатов, формальные аксиоматические теории, теории алгоритмов. Предназначено для студентов ЦЗОПБ по направлениям подготовки: 09.03.02 – Информационные системы и технологии; 15.03.04 – Автоматизация технологических процессов и производств: 27.03.04 – Управление в технических сферах.