City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English
Computer Science Club

Foundations of computability and complexity theory
Saint Petersburg / autumn 2012, посмотреть все семестры

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
12 September
18:30–19:50		 Разрешимые и перечислимые множества. Классы P и NP, Lecture ПОМИ РАН No
12 September
18:30–19:50		 Разрешимые и перечислимые множества. Классы P и NP, Lecture ПОМИ РАН video
19 September
18:30–19:50		 Вычислимые функции, Lecture ФМЛ 239, Актовый зал video
19 September
18:30–19:50		 Вычислимые функции, Lecture ПОМИ РАН No
03 October
18:30–19:50		 Теорема о неподвижной точке. Машины Тьюринга, Lecture ПОМИ РАН No
03 October
18:30–19:50		 Теорема о неподвижной точке. Машины Тьюринга, Lecture ПОМИ РАН video
10 October
18:30–19:50		 Вычислимость и выразимость в арифметике, Lecture ПОМИ РАН No
10 October
18:30–19:50		 Вычислимость и выразимость в арифметике, Lecture ПОМИ РАН video
17 October
18:30–19:50		 Арифметическая иерархия. Колмогоровская сложность, Lecture ПОМИ РАН No
17 October
18:30–19:50		 Арифметическая иерархия. Колмогоровская сложность, Lecture ФМЛ 239, Актовый зал video
24 October
18:30–19:50		 Моделирование машин Тьюринга. Недетерминированные машины Тьюринга, Lecture ПОМИ РАН No
24 October
18:30–19:50		 Моделирование машин Тьюринга. Недетерминированные машины Тьюринга, Lecture ПОМИ РАН video
31 October
18:30–19:50		 О классе NP, Lecture ПОМИ РАН video
31 October
18:30–19:50		 О классе NP, Lecture ПОМИ РАН No
07 November
18:30–19:50		 P vs NP с оракулами. Иерархии по времени, Lecture ПОМИ РАН video
07 November
18:30–19:50		 P vs NP с оракулами. Иерархии по времени, Lecture ПОМИ РАН No
14 November
18:30–19:50		 Вычисления с ограничениями по памяти, Lecture ПОМИ РАН No
14 November
18:30–19:50		 Вычисления с ограничениями по памяти, Lecture ПОМИ РАН video
21 November
18:30–19:50		 Полиномиальная иерархия, Lecture ПОМИ РАН No
21 November
18:30–19:50		 Полиномиальная иерархия, Lecture ПОМИ РАН video
28 November
18:30–19:50		 Нижние оценки для SAT. Схемная сложность, Lecture ПОМИ РАН video
28 November
18:30–19:50		 Нижние оценки для SAT. Схемная сложность, Lecture ПОМИ РАН No
05 December
18:30–19:50		 Схемы и параллельные вычисления, Lecture ПОМИ РАН video
05 December
18:30–19:50		 Схемы и параллельные вычисления, Lecture ПОМИ РАН No
Computer Science Club, 2007–24 гг.