Спецкурсы кафедры математической логики теории алгоритмов

для студентов и аспирантов


Спецкурсы для студентов

Не все названия из этих списков фигурируют в расписании спецкурсов. Во-первых, не все спецкурсы читаются каждый год (но их названия нужно было зафиксировать заранее). Во-вторых, если спецкурс годовой, а нужно зачесть два полугодовых, то в расписании значится годовое название, а для проставления оценок зарезервированы соответствующие ему два полугодовых названия (какие именно — подскажет лектор). Любой спецкурс из списка «по выбору кафедры» можно зачесть в качестве спецкурса «по выбору студента» (соответствующей длительности).

Спецкурсы по выбору кафедры

Годовые

  1. Математическая логика / Mathematical logic / Беклемишев Л.Д., Крупский В.Н., Кузнецов С.Л., Яворская Т.Л.
  2. Основы теории доказательств / Basic proof theory / Беклемишев Л.Д., Яворская Т.Л.

  3. Категориальные грамматики Ламбека / Lambek categorial grammars / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  4. Теория формальных языков / Formal language theory / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.

  5. Сложность вычислений / Computational complexity / Верещагин Н.К.

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

Полугодовые

  1. Логики доказуемости / Provability logic / Беклемишев Л.Д., Яворская Т.Л.
  2. Конструктивная логика / Constructive logic / Плиско В.Е.
  3. Пространственные логики / Spatial logics / Шехтман В.Б.

  4. Категориальные грамматики / Categorial grammars / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  5. Полнота исчисления Ламбека / Completeness of the Lambek calculus / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  6. Синтаксическое исчисление Ламбека / Syntatic Lambek calculus / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  7. Сложность исчисления Ламбека / Complexity of the Lambek calculus / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.

  8. Коды с исправлением ошибок / Error соrrecting codes / Верещагин Н.К.
  9. Колмогоровская сложность / Kolmogorov complexity / Верещагин Н.К.
  10. Коммуникационная сложность / Communication complexity / Верещагин Н.К.

  11. Модели неклассических логик / Models of nonclassical logics / Золин Е.Е.
  12. Представление знаний / Knowledge representation / Золин Е.Е.

Спецкурсы по выбору студента

Годовые

  1. Аксиоматическая теория множеств / Axiomatic set theory / Верещагин Н.К.
  2. Алгебраическая логика / Algebraic logic / Шехтман В.Б.
  3. Бесконечные периодические группы / Infinite periodic groups / Адян С.И.
  4. Введение в модальную логику / Introduction to modal logic / Золин Е.Е.
  5. Конструктивность в логике и математике / Constructivity in mathematics and logic / Плиско В.Е.
  6. Логики предикатов / Predicate logics / Шехтман В.Б.
  7. Модальная логика и ее приложения / Modal logic and its applications / Золин Е.Е.
  8. Модели арифметики / Models of arithmetic / Беклемишев Л.Д., Яворская Т.Л.
  9. Модели и алгоритмы в биоинформатике / Bioinformatics models and algorithms / Любецкий В.А.
  10. Односторонние функции и их применения / One-way functions and their applications / Верещагин Н.К.
  11. Случайные числа и неразрешимые проблемы / Random numbers and undecidable problems / Любецкий В.А.
  12. Теория моделей / Model theory / Шехтман В.Б.

Полугодовые

  1. Аксиоматическая теория множеств и неразрешимые проблемы / Axiomatic set theory and undecidable problems / Любецкий В.А.
  2. Введение в биоинформатику / Introduction to bioinformatics / Любецкий В.А.
  3. Введение в вычислительную теорию доказательств / Introduction to computational proof theory / Кузнецов С.Л.
  4. Конечные автоматы / Finite automata / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  5. Контекстно-свободные языки / Context-free languages / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  6. Математические методы современной лингвистики / Mathematical methods of modern linguistics / Пентус М.Р., Сорокин А.А.
  7. Метод вынуждения / Forcing method / Верещагин Н.К.
  8. Построение генераторов псевдослучайных чисел / Constructions of pseudorandom generators / Верещагин Н.К.
  9. Теория алгоритмов и формальная арифметика / Theory of algorithms and formal arithmetic / Беклемишев Л.Д., Яворская Т.Л.
  10. Топологическая семантика логики доказуемости / Topological semantics of provability logic / Беклемишев Л.Д., Яворская Т.Л.

Спецкурсы на иностранном языке

(они все полугодовые)
  1. Дополнительные главы классической логики (на английском) / Advanced course in classical logic / Золин Е.Е.
  2. Основы неклассической логики (на английском) / Basics of non-classical logics / Яворская Т.Л.
  3. Коды с исправлением ошибок (ЕНС на английском) / Error соrrecting codes / Верещагин Н.К.

Межфакультетские курсы (МФК)

(они все полугодовые)
  1. весна 2018: Категориальные грамматики / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  2. весна 2018: Математические модели в биоинформатике / Любецкий В.А., Селивёрстов А.В.

Спецкурсы для аспирантов

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


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