Вычислимость и логика (Лектор В.Б. Шехтман) – Факультет математики – Национальный исследовательский университет «Высшая школа экономики»

A
A
A

АБB
АБB
АБB

А
А
А
А
А

Обычная версия сайта

Задачи-1 (PDF, 66 Кб)

Задачи-2 (PDF, 68 Кб)

Задачи-3 (PDF, 51 Кб)

Расписание (PDF, 22 Кб)

Лекция 1 (содержание) (PDF, 32 Кб)

Лекция 2 (содержание) (PDF, 62 Кб)

Лекция 3 (содержание) (PDF, 41 Кб)

Лекция 4 (содержание) (PDF, 44 Кб)

Лекция 5 (содержание) (PDF, 54 Кб)

Лекция 5 (краткий конспект) (PDF, 188 Кб)

Лекция 6 (содержание) (PDF, 46 Кб)

Программа коллоквиума (PDF, 103 Кб)

Лекция 8 (содержание) (PDF, 47 Кб)

Лекция 9 (содержание) (PDF, 38 Кб)

Программа экзамена (PDF, 55 Кб)

Задачи семинаров 5-9 (PDF, 122 Кб)

Задачи коллоквиума (PDF, 86 Кб)

что будет (PDF, 24 Кб)