Спонсор: Microsoft
Лекция 20:

Пример: реализация машины Тьюринга

< Лекция 1 || Лекция 20
Аннотация: Определение. Пример. Реализация на F#. Зиппер.
< Лекция 1 || Лекция 20
Roma Golich
Roma Golich

Лекция 22: Формальная семантика языков функционального программирования,

и 21

Алексей Хонин
Алексей Хонин

А есть материалы курса (презентации) по каждому уроку, А то на видео не видно, что происходит на экране