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

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


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

Описание

Вычислимые функции, разрешимые множества, определения перечислимого множества. Теорема Поста. Перечислимые множества как проекции разрешимых. Вычислимость функции и перечислимость ее графика. Универсальная функция. Вычислимая функция, которую нельзя доопределить до всюду определенной. Пример перечислимого, но неразрешимого множества.

Видео