Учебник представляет собой готовое решение для методического обеспечения дисциплины "Математическая логика и теория алгоритмов". В учебник включены лекции, практические задания и вопросы к экзамену, подготовленные за десятилетнее преподавание этой дисциплины в высших и средних учебных заведениях. Учебник подготовлен для студентов учреждений высшего профессионального образования по направлениям подготовки "Прикладная информатика" и "Программная инженерия", и полностью соответствует Федеральным Государственным образовательным стандартам по данным направлениям.
Uchebnik predstavljaet soboj gotovoe reshenie dlja metodicheskogo obespechenija distsipliny "Matematicheskaja logika i teorija algoritmov". V uchebnik vkljucheny lektsii, prakticheskie zadanija i voprosy k ekzamenu, podgotovlennye za desjatiletnee prepodavanie etoj distsipliny v vysshikh i srednikh uchebnykh zavedenijakh. Uchebnik podgotovlen dlja studentov uchrezhdenij vysshego professionalnogo obrazovanija po napravlenijam podgotovki "Prikladnaja informatika" i "Programmnaja inzhenerija", i polnostju sootvetstvuet Federalnym Gosudarstvennym obrazovatelnym standartam po dannym napravlenijam.
