СПб.: Питер, 2003. - 208 с.: ил. - ISBN 5-318-00537-3.
Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации.
В этом учебнике практическое использование моделей не является частной иллюстрацией теоретических результатов — наоборот, автор постарался практические проблемы проектирования и анализа систем сделать отправной точкой, а формальный аппарат — средством систематического решения этих проблем. В каждом разделе книги большое внимание уделено вопросам абстрагирования и адекватной интерпретации и реализации результатов аналитических преобразований.
Усвоение рассмотренных в книге моделей теоретической информатики, способов их анализа и синтеза должно создать основу, позволяющую читателю воспринимать и усваивать многие другие общетехнические и специальные дисциплины по информационным технологиям, вычислительным средствам и системам, инструментарию и методам проектирования программных систем, входящим в программу высшей школы.
Книга допущена Министерством образования Российской Федерации в качестве учебника для студентов высших учебных заведений, обучающихся по направлению подготовки бакалавров «Информатика и вычислительная техника» и по специальности «Вычислительные машины, комплексы, системы и сети» направления подготовки дипломированных специалистов «Информатика и вычислительная техника».
Конечные функциональные преобразователи.
Булевы функции.
Функциональная полнота.
Формы представления булевых функций.
Введение в математическую логику.
Формальные высказывания.
Логика высказываний.
Логическое следствие.
Основы логики предикатов и логического вывода.
Логическое программирование.
Конечные автоматы.
Автоматное преобразование информации.
Примеры КА.
Визуальный формализм представления моделей реактивных систем.
Графы переходов при спецификации и анализе параллельных программ.
Алгебраическая структурная теория конечных автоматов.
Автоматные языки.
Машины Тьюнинга.