Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

Инъективность и дизъюнктность конструкторов. Большая элиминация. Паттерн "конвой". Доказательства по индукции. Prop и Type.
Введение в формальную верификацию программ

Что: Лекция
Когда: Четверг, 01 апреля 2021, 22:30–00:00
Где: Конференция в zoom, Онлайн

Видео