Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Суббота, 19 октября 2019, 16:20–17:55
Где: НГУ, ауд. 4117

Описание

Монотонные булевы и вещественные схемы. Метод монотонной интерполяции для системы секущие плоскости. Формула раскрашиваемость клики и нижняя оценка для нее.

Видео

Материалы

Текущая версия конспекта тут: https://logic.pdmi.ras.ru/~dmitrits/nsu/pc.pdf