Лекция 1:

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

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

Лекция 1
Егор Шишебаров
Егор Шишебаров
Здравствуйте! Материалов курса нет, когда можно будет изучить курс?
Сергей Сокольский
Сергей Сокольский
Россия, Москва
Ирина Кинзина
Ирина Кинзина
Россия