Отраслевые рубрики: дискретная математика, математика

Ключевые слова: абстрактное проектирование, автоматные системы, автоматы, аксиоматика, алгебра отношений, алгебраические системы, алгебры, алгоритмы, булевы функции, вложение графов, графы, дифференцирование, исчисление высказываний, исчисление предикатов, комбинаторные алгоритмы, логика высказываний, логические схемы, математическая логика, модели, моделирование, монографы, операционные автоматы, паросочетания, Петри сети, покрытия, прикладная теория алгоритмов, проектирование, раскраска, реберность, решетки, синтез, структурное проектирование, теория автоматов, теория алгоритмов, теория графов, теория множеств, теория формальных грамматик, устойчивость, формальные грамматики, фундаментальные алгебры, характеризационный анализ, характеризация, цикломатика