Лекция 9: Типизация в логических языках

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

Возникновение типизации. Классификация языков. Система типов. Многослойная логика предикатов. Классы конкретизации. Детерминизм. Предикаты как функции. Каррирование




Реклама



Ваше мнение

Видеотека

Рейтинг@Mail.ru

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