Личный кабинет
Подробное описание документа
Балюкевич Э. Л., Ковалева Л. Ф.
Математическая логика и теория алгоритмов : учебное пособие / Балюкевич Э. Л., Ковалева Л. Ф. - Евразийский открытый институт, 2009. -
Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
