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

Невыразимость: автоморфизмы и эллиминация кванторов
Вычислимость и логика


Что: Лекция
Когда: Среда, 02 ноября 2011, 18:30–19:50
Где: ПОМИ РАН

Описание

Невыразимость: метод автоморфизмов. Элиминация кванторов. Простейшие примеры. Задача о разрезании квадрата на меньшие квадраты.

Видео