Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации.В этом учебнике практическое использование моделей не является частной иллюстрацией теоретических результатов - наоборот, автор постарался практические проблемы проектирования и анализа систем сделать отправной точкой, а формальный аппарат - средством систематического решения этих проблем. В каждом разделе книги важное внимание уделено вопросам абстрагирования и адекватной интерпретации и реализации результатов аналитических преобразований.Усвоение рассмотренных в книге моделей теоретической информатики, способов их анализа и синтеза должно обеспечить основу, позволяющую читателю воспринимать и усваивать многие другие общетехнические и специальные дисциплины по информационным технологиям, вычислительным средствам и системам, инструментарию и методам проектирования программных систем, входящим в программу высшей школы.Книга допущена в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки дипломированных специалистов `Информатика и вычислительная техника`.