filmov
tv
#ТЯП, лекция 9, часть 1
Показать описание
Курс «CS301. Теория языков программирования»,
институт математики, механики и компьютерных наук им. И.И. Воровича, Южный федеральный университет
Несколько примеров доказательства по индукции.
Диалог «что такое тип?».
Единственность типа терма, типизируемость подтермов.
институт математики, механики и компьютерных наук им. И.И. Воровича, Южный федеральный университет
Несколько примеров доказательства по индукции.
Диалог «что такое тип?».
Единственность типа терма, типизируемость подтермов.
0:44:41
0:38:08
0:47:01
0:37:20
0:43:24
0:12:29
1:38:42
1:31:06
0:32:38
0:16:19
1:22:45
0:19:12
0:20:59
0:36:35
0:13:53
0:11:54
0:25:22
0:01:28
1:21:40
0:53:43
0:50:02
1:32:53
2:09:02
0:05:12