|
Здравствуйте! Неясно, решился ли вопрос с загрузкой презентации - см. вопрос выше. Без нее занятие становится крайне затруднительным, практически невозможным! |
Лекция 9:
Типизация в логических языках
< Лекция 1 || Лекция 9
Аннотация: Возникновение типизации. Классификация языков. Система типов. Многослойная логика предикатов. Классы конкретизации. Детерминизм. Предикаты как функции. Каррирование
< Лекция 1 || Лекция 9
Наиль Бухараев
Dmytro Malishevskyi
|
Пропала возможность скачивать презентации к лекциям курса. Куда писать баг-репорт? P.S.: Курс "Логическое программирование". |