Математическая логика и теория алгоритмов

Методические указания и пособия

• Формальные грамматики, исчисление высказываний, теория алгоритмов. Элементы теории формальных грамматик