Учебник представляет собой готовое решение для методического обеспечения дисциплины "Математическая логика и теория алгоритмов". В учебник включены лекции, практические задания и вопросы к экзамену, подготовленные за десятилетнее преподавание этой дисциплины в высших и средних учебных заведениях. Учебник подготовлен для студентов учреждений высшего профессионального образования по направлениям подготовки "Прикладная информатика" и "Программная инженерия", и полностью соответствует Федеральным Государственным образовательным стандартам по данным направлениям. Это и многое другое вы найдете в книге Математическая логика и теория алгоритмов. Учебник (А. В. Пруцков, Л. Л. Волкова)