Метавычисления и их приложения: Суперкомпиляция и нестандартные семантики

Суперкомпиляция: введение, идея, постановки задачи

Показывать лекцию целиком

Задачник для курса- здесь.

Презентация для лекции - здесь.

Вернуться к учебному плану