(они все полугодовые)
-
- Доказательства независимости в теории множеств / Independence proofs in set theory / Верещагин Н.К.
- Колмогоровская сложность / Kolmogorov complexity / Верещагин Н.К.
- Коммуникационная сложность / Communication complexity / Верещагин Н.К.
- Сложность вычислений / Computational complexity / Верещагин Н.К.
- Интерактивные доказательства и их применения / Interactive proofs and their applications / Верещагин Н.К.
-
- Теория моделей / Model theory / Шехтман В.Б.
- Пространственные логики / Spatial logics / Шехтман В.Б.
-
- Контекстно-свободные языки / Context-free languages / Пентус М.Р.
- Категориальные грамматики Ламбека / Lambek categorial grammars / Кузнецов С.Л.
-
- Дескрипционная логика / Description logic / Золин Е.Е.
- Модальная логика / Modal logic / Золин Е.Е.
- Конструктивность в математике и логике / Constructivity in mathematics and logic / Плиско В.Е.
- Теория доказательств и формальная арифметика / Proof theory and formal arithmetic / Беклемишев Л.Д., Яворская Т.Л.
Студенты отделения «Механика» нашего факультета не могут сдавать спецкурсы отделения «Математика» из списка «по выбору кафедры», и наоборот (они являются спецкурсами специализации данного отделения).
Собрал информацию: Е.Е.Золин