Семинар 3

Среда, 23 сентября 2020
Онлайн, занятие в zoom

Описание

Доказательство на бумаге формул из задания 2. Для доказательства эквиваленций достаточно строить по дереву в каждую сторону.