1. 1. Доказательства независимости в теории множеств / Independence proofs in set theory / Верещагин Н.К.
   2. Колмогоровская сложность / Kolmogorov complexity / Верещагин Н.К.
   3. Коммуникационная сложность / Communication complexity / Верещагин Н.К.
   4. Сложность вычислений / Computational complexity / Верещагин Н.К.
   5. Интерактивные доказательства и их применения / Interactive proofs and their applications / Верещагин Н.К.

1. 1. Теория моделей / Model theory / Шехтман В.Б.
   2. Пространственные логики / Spatial logics / Шехтман В.Б.

1. 1. Контекстно-свободные языки / Context-free languages / Пентус М.Р.
   2. Категориальные грамматики Ламбека / Lambek categorial grammars / Кузнецов С.Л.

1. 1. Дескрипционная логика / Description logic / Золин Е.Е.
   2. Модальная логика / Modal logic / Золин Е.Е.

1. Конструктивность в математике и логике / Constructivity in mathematics and logic / Плиско В.Е.
2. Теория доказательств и формальная арифметика / Proof theory and formal arithmetic / Беклемишев Л.Д., Яворская Т.Л.

Студенты отделения «Механика» нашего факультета не могут сдавать спецкурсы отделения «Математика» из списка «по выбору кафедры», и наоборот (они являются спецкурсами специализации данного отделения).