Содержание спецкурсов 2019-2020 уч. года
Потеряны скрипты
- Весна 2020:
- Вычислительная теория доказательств и лямбда-исчисление (Л. Д. Беклемишев, С. Л. Кузнецов, годовой, по выбору кафедры)
- Односторонние функции и их применения (Н.К.Верещагин, полугодовой, по выбору кафедры)
- Конструктивная логика (В.Е.Плиско, полугодовой, по выбору кафедры)
- Контекстно-свободные грамматики (М.Р.Пентус, полугодовой, по выбору кафедры)
- Модальная логика (Е.Е.Золин, годовой, по выбору кафедры)
- Теория графов и биоинформатика (pdf) (В.А.Любецкий, К.Ю.Горбунов, спецсеминар (просеминар) / полугодовой спецкурс по выбору студента).
- Осень 2019:
- Вычислительная теория доказательств и лямбда-исчисление (Л.Д.Беклемишев, С.Л.Кузнецов, годовой, по выбору кафедры)
- Алгоритмическая статистика (Н.К.Верещагин, полугодовой, по выбору кафедры)
- Конструктивность в логике и математике (В.Е.Плиско, годовой, по выбору студента)
- Теория моделей (В.Б.Шехтман, полугодовой, по выбору кафедры)
- Конечные автоматы (М.Р.Пентус, полугодовой, по выбору кафедры)
- Модальная логика (Е.Е.Золин, годовой, по выбору кафедры)