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

Доказательство свойств программ

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

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

и 21

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

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