теории алгоритмов

Математическая логика и теория алгоритмов, Учебное пособие, Блатов И.А., Старожилова О.В., 2017.

Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно.

Задачи и упражнения по математической логике и теории алгоритмов, Игошин В.И., 2007.

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. 

Для студентов университетов, технических и педагогических ВУЗов, обучающихся по специальностям «Математика», «Прикладная математика».