6 lecture - Type theory | Исчисление предикатов 2 порядка; система F

98 Просмотры

  • Спасибо! Поделитесь с друзьями!

    Вам не понравилось видео. Спасибо за то что поделились своим мнением!

admin
Издатель
00:00 начало
00:34 логика 2 порядка
01:40 язык
04:03 исчисление
07:42 модель
09:53 пример
15:49 дополнительные связки (& V ¬ _ ⊥)
21:17 дополнительные связки (∃ ∀)
31:10 система F
34:32 правила типизации
43:35 λ в системе F
50:44 теоремы в системе F
52:37 F по Чёрчу и по Карри
57:05 выразительная сила
1:00:05 экзистенциальные типы
1:01:40 пример (стек)
Категория
интерьер
Комментарии выключены

Следующее