Вычислимость и логика, осень 2011

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

Вычислимость и логика
Санкт-Петербург / осень 2011, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

TBA

Дата и время	Занятие	Место	Материалы
14 сентября 18:30–19:50	Вычислимые функции, разрешимые и перечислимые множества, Лекция	ПОМИ РАН	видео
21 сентября 18:30–19:50	Теорема Успенского-Райса, теорема о неподвижной точке, Лекция	ПОМИ РАН	видео
28 сентября 18:30–19:50	Теорема о неподвижной точке (окончание). Машины Тьюринга, Лекция	ПОМИ РАН	видео
05 октября 18:30–19:50	Примитивно рекурсивные и частично рекурсивные функции, Лекция	ПОМИ РАН	видео
12 октября 18:30–19:50	Функции Аккермана. Пропозициональные формулы, Лекция	ПОМИ РАН	видео
19 октября 18:30–19:50	Предикатные формулы. Арифметика, Лекция	ПОМИ РАН	видео
26 октября 18:30–19:50	Арифметическая иерархия, Лекция	ПОМИ РАН	видео
02 ноября 18:30–19:50	Невыразимость: автоморфизмы и эллиминация кванторов, Лекция	ПОМИ РАН	видео
09 ноября 18:30–19:50	Элиминация кванторов в теории вещественных чисел, Лекция	ПОМИ РАН	Нет
16 ноября 18:30–19:50	Полнота исчисления предикатов, Лекция	ПОМИ РАН	Нет
23 ноября 18:30–19:50	Теории и модели, Лекция	ПОМИ РАН	видео
30 ноября 18:30–19:50	Ультрафильтры и теорема о компактности, Лекция	ПОМИ РАН	видео
07 декабря 18:30–19:50	Колмогоровская сложность, Лекция	ПОМИ РАН	видео

Дмитрий Михайлович Ицыксон