Лекция 7: Формальные системы. Свойства, интерпретация, моделирование
defaultValue- Подробности
- Категория: Алгоритмы и теория вычислений
Лекция посвящена формальным системам (ФС). Дается строгое определение ФС, приводятся примеры, рассматриваются свойства ФС.
