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

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



';



Видеотека

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