Спонсор: Microsoft
Опубликован: 09.02.2010 | Доступ: свободный | Студентов: 1770 / 100 | Оценка: 4.17 / 4.42 | Длительность: 02:12:00
Специальности: Программист
Лекция 22:

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

< Лекция 1 || Лекция 22
Аннотация: Классификация формальных семантик.Теория доменов. Теорема о неподвижной точке. Семантика для простейшего языка.

Смотреть на youtube || на ИНТУИТ в качестве: низком | среднем | высоком

< Лекция 1 || Лекция 22