Учебник представляет собой готовое решение для методического обеспечения дисциплины \\\"Математическая логика и теория алгоритмов\\\". В учебник включены лекции, практические задания и вопросы к экзамену, подготовленные за десятилетнее преподавание этой дисциплины в высших и средних учебных заведениях....

Учебник создан в соответствии с Федеральным государственным образовательным стандартом по направлению подготовки 231000 «Программная инженерная» (квалификация «бакалавр»)....

Учебник создан в соответствии с Федеральным государственным образовательным стандартом по направлению подготовки 231000 \\\"Программная инженерия\\\" (квалификация \\\"бакалавр\\\"). Рассмотрены вопросы технологии разработки алгоритмов и программ, основы современных подходов к программированию....