| Что: | Лекция |
| Когда: | Среда, 12 сентября 2012, 18:30–19:50 |
| Где: | ПОМИ РАН |
Разрешимые множества, определения перечислимого множества. Теорема Поста. Классы P и NP. m-сведение, самое трудное перечислимое множество. Неразрешимость задачи об остановке алгоритма.
