City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English
What: Lecture
When: Sunday, 20 September 2009, 17:20–18:50
Where: ПОМИ РАН
Slides: mfcs_lecture_200909.pdf

Description

Вычислимые функции, разрешимые и перечислимые множества, универсальный алгоритм, перечислимое неразрешимое множество, вычислимые вещественные числа.