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

Авторы: Балюкевич Э.Л., Ковалева Л.Ф.

Издательство: Евразийский открытый институт

Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.