Тезисы

Заготовки для лекций "Трансформационная машина" и "Обоснование смешанных вычислений".