Подскажите, пожалуйста, планируете ли вы возобновление программ высшего образования? Если да, есть ли какие-то примерные сроки? Спасибо! |
Опубликован: 24.11.2009 | Доступ: свободный | Студентов: 2148 / 427 | Оценка: 4.60 / 4.60 | Длительность: 02:24:00
Специальности: Программист
Теги:
Лекция 7:
Формальные системы. Свойства, интерпретация, моделирование
< Лекция 1 || Лекция 7
Аннотация: Лекция посвящена формальным системам (ФС). Дается строгое определение ФС, приводятся примеры, рассматриваются свойства ФС.
< Лекция 1 || Лекция 7