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

Техники доказательств по индукции. Основные идеи методологии доказательств через маломасштабную рефлексию.
Введение в формальную верификацию программ

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

Видео