Структурная теория сложности — различия между версиями
Материал из SEWiki
Avlife (обсуждение | вклад) |
Avlife (обсуждение | вклад) |
||
Строка 8: | Строка 8: | ||
Похожие курсы (видео): | Похожие курсы (видео): | ||
− | * [http://www.lektorium.tv/lecture/?id=13344 "Вычислимость и логика. Дмитрий Михайлович Ицыксон"] | + | * [http://www.lektorium.tv/lecture/?id=13344 "Вычислимость и логика. Дмитрий Михайлович Ицыксон"] (первые 4 лекции) |
* [http://www.lektorium.tv/course/?id=22750 "Структурная теория сложности. Эдуард Алексеевич Гирш"] | * [http://www.lektorium.tv/course/?id=22750 "Структурная теория сложности. Эдуард Алексеевич Гирш"] |
Текущая версия на 09:28, 23 октября 2011
Преподаватель: Дмитрий Михайлович Ицыксон
Домашние задания: http://logic.pdmi.ras.ru/~dmitrits/au/
Рекомендуемая литература:
- Верещагин, Шень "Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции"
- Sanjeev Arora, Boaz Barak "Computational Complexity. A Modern Approach"
Похожие курсы (видео):