Основные понятия и методы теории формальных систем. Волохович А.В.

Данные методические указания являются вспомогательным материалом для изучения курса "Дискретная математика" (раздел "Формальные системы") и предназначены для самостоятельной проработки при подготовке к практическим занятиям.