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

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

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

Курс предназначен для студентов направления Computer Science.

Дата и время Название Место Материалы
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
Колмогоровская сложность, Лекция ПОМИ РАН видео