filmov
tv
#ТЯП, лекция 5, часть 1
Показать описание
Первая часть видео нечёткая :( с 24:16 качество хорошее.
Курс «CS301. Теория языков программирования»,
институт математики, механики и компьютерных наук им. И.И. Воровича, Южный федеральный университет
Операционная семантика с малым шагом языка простых арифметических выражений: детерминированность отношения вычисления, многошаговое отношение вычисления, некоторые свойства многошагового отношения вычисления. Доказательство по индукции по дереву вывода отношения вычисления.
Курс «CS301. Теория языков программирования»,
институт математики, механики и компьютерных наук им. И.И. Воровича, Южный федеральный университет
Операционная семантика с малым шагом языка простых арифметических выражений: детерминированность отношения вычисления, многошаговое отношение вычисления, некоторые свойства многошагового отношения вычисления. Доказательство по индукции по дереву вывода отношения вычисления.
0:37:20
0:46:38
1:14:53
0:40:03
0:47:04
0:47:32
1:22:03
1:00:51
0:42:12
0:43:24
1:03:42
0:44:41
0:31:53
0:56:52
0:36:54
0:38:02
1:23:34
1:18:22
0:58:18
0:00:29
1:11:54
0:46:44
0:45:43
2:05:47