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