City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Computability and logic
Saint Petersburg / autumn 2011, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

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

Date and time Class|Name Venue|short Materials
14 September
18:30–19:50
Вычислимые функции, разрешимые и перечислимые множества, Lecture ПОМИ РАН video
21 September
18:30–19:50
Теорема Успенского-Райса, теорема о неподвижной точке, Lecture ПОМИ РАН video
28 September
18:30–19:50
Теорема о неподвижной точке (окончание). Машины Тьюринга, Lecture ПОМИ РАН video
05 October
18:30–19:50
Примитивно рекурсивные и частично рекурсивные функции, Lecture ПОМИ РАН video
12 October
18:30–19:50
Функции Аккермана. Пропозициональные формулы, Lecture ПОМИ РАН video
19 October
18:30–19:50
Предикатные формулы. Арифметика, Lecture ПОМИ РАН video
26 October
18:30–19:50
Арифметическая иерархия, Lecture ПОМИ РАН video
02 November
18:30–19:50
Невыразимость: автоморфизмы и эллиминация кванторов, Lecture ПОМИ РАН video
09 November
18:30–19:50
Элиминация кванторов в теории вещественных чисел, Lecture ПОМИ РАН No
16 November
18:30–19:50
Полнота исчисления предикатов, Lecture ПОМИ РАН No
23 November
18:30–19:50
Теории и модели, Lecture ПОМИ РАН video
30 November
18:30–19:50
Ультрафильтры и теорема о компактности, Lecture ПОМИ РАН video
07 December
18:30–19:50
Колмогоровская сложность, Lecture ПОМИ РАН video