Post #184
674
RatProofs-30.04-idroo.pdf2.2 MB
Содержимое доски сегодня (про рациональные доказательства)
- Sep 10, 2026Сложность вычислений ФПМИ pinned «Служебный пост с информацией на осень 2026 (будет дополн…
- Sep 9, 2026Служебный пост с информацией на осень 2026 (будет дополняться). Расписание: Лекции - Дании…
- Sep 9, 2026В этом семестре канал используется для курса, который формально называется "Сложность вычи…
- Sep 1, 2026В опросе о спецкурсе в прошлом году победил вариант "Псевдослучайность и дерандомизация".…
- Sep 1, 2026Доброе утро! Всех поздравляю с днём знаний и началом нового учебного года! Для кафедры ДМ…
- May 28, 2026Нужно сейчас заявить спецкурс на следующий год. Традиционно я читаю спецкурс на одну из пр…