Целью изучения дисциплины Информатика 2 (Теоретическая информатика)” является систематическое изложение общих методов анализа и синтеза цифровых автоматов, и на их основе - методов построения структур операционных и управляющих автоматов.

Методы  теории цифровых автоматов, являющихся моделями цифровых  устройств,  используются в качестве теоретической базы для анализа и синтеза различных цифровых устройств вычислительной техники.