Подловченко Р.И.

Понедельник, 10:30,
ауд. 571

Первая лекция – 1 октября

Рассматриваются теория неподвижной точки функциональных программ и вопросы, связанные с доказательством правильности функциональных программ.

Страница курса: http://vmk.somee.com/Details/392