Лекция 7: Формальные системы. Свойства, интерпретация, моделирование

Лекция посвящена формальным системам (ФС). Дается строгое определение ФС, приводятся примеры, рассматриваются свойства ФС.







Видеотека

Яндекс.Метрика