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

Элиминация кванторов в теории вещественных чисел
Вычислимость и логика


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

Описание

Элиминация кванторов в теории вещественных чисел (алгоритм Тарского).