Спонсор: Microsoft
Академия Microsoft:

Функциональное программирование
[+]
Опубликован: 09.02.2010 | Доступ: свободный | Студентов: 1871 / 156 | Оценка: 4.17 / 4.42 | Длительность: 02:12:00
Тема: Программирование
Специальности: Программист
Теги: 2d, анализ, вычисления, графика, история, логика, поиск, программирование, структуры данных, функциональное программирование
Лекция 23:

Доказательство свойств программ
< Лекция 1 || Лекция 23
Аннотация: Доказательство корректности программ на примерах. Проблема самопременимости.
Дальше >>
< Лекция 1 || Лекция 23

Вопросы и ответы

вопросов: 2
Roma Golich
Roma Golich

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

и 21

ответить
Алексей Хонин
Алексей Хонин

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

ответить