Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Воскресенье, 04 октября 2009, 17:20–18:50
Где: ПОМИ РАН
Слайды: mfcs_lecture_041009.pdf

Описание

Арифметичность вычислимых функций. Арифметическая иерархия. m–сведения. Универсальные множества. Теоремы Тарского и Геделя.