Сайт в процессе наполнения. Архив всех прошедших курсов доступен на старой версии сайта по адресу old.compsciclub.ru
Город: Санкт-Петербург Казань Язык: Русский 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
Колмогоровская сложность, лекция ПОМИ РАН видео