Computability and logic, autumn 2011

City: Test 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

TBA

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

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