Опис документа

булева алгебра, булева алгебра, Boolean algebra ; кінцево-автоматні мови, конечно-автоматные языки ; логічне програмування, логическое программирование, logical programming, programmation logique ; математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik ; машини Тьюрінга, машины Тьюринга ; скінченні автомати, СА, конечные автомати, КА ; теорія автоматів, теория автоматов, automata theory, Automatentheorie, theorie des automates

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