Advanced course in classical logic
(Дополнительные главы классической логики)
(полугодовой спецкурс на английском языке)
к.ф.-м.н., с.н.с. Е.Е.Золин

Чтобы сдавать данный курс, напишите лектору по email (см. на главной странице).

Весна 2019

(new)
Последняя сдача экзамена:
28 июня (пятница) 11:30,
встреча на кафедре (16-05).

Конспект лекций: [ pdf ]

(по сравнению с конспектами 2018 г. внесено лишь несколько исправлений и совсем немного добавлений)

Вопросы к экзамену: [ pdf ]

Примеры задач: см. 2018 год.

Весна 2018

Конспект лекций: [ pdf ]

Вопросы к экзамену: [ pdf ]

Примеры задач: [ pdf ]

Краткое содержание лекций весны 2018 года

Весна 2017

Конспект лекций: [ pdf ]

Вопросы к экзамену: [ pdf ]

Примеры задач: [ pdf ]

Весна 2016

Конспект лекций: [ pdf ]

Вопросы к экзамену: [ pdf ]

Примеры задач: [ pdf ]


Видео-материалы по темам, близким к данному курсу

Литература

  1. Верещагин Н.К., Шень А.Х. Языки и исчисления, 4-е издание, Москва, МЦНМО, 2014. [доступно в сети: pdf ]
  2. Chang C.C., Keisler H.J. Model Theory, North-Holland Pub. Co., 1990. [доступно в сети]
    Кейслер Г., Чэн Ч.Ч. Теория моделей, Москва, Мир, 1977. [доступно в сети]
  3. Sikorski R. Boolean Algebras, 3rd edition, Springer, 1969. [доступно в сети]
    Сикорский Р. Булевы алгебры, Москва, Мир, 1969. [доступно в сети]
  4. Bell J.L., Slomson A.B. Models and Ultraproducts: An Introduction, North-Holland Pub. Co., 1969. [доступно в сети]
  5. Keisler H.J. Model Theory for Infinitary Logic. North-Holland Pub. Co., 1971. [доступно в сети]
  6. Zolin E. Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi, Studia Logica, 102(5):1021-1039, 2014. [ pdf ]
  7. Bokov - статьи (напишу позже)

  8. Leonid Libkin. Elements of Finite Model Theory. 2004. Главы 1 и 3. [доступно в сети]
  9. Ebbinghaus, Flum. Finite Model Theory. 2006. Глава 2. [доступно в сети]
Отдельный текст pdf ] покрывает следующие темы (но отличается от изложения на лекциях):
- фильтры и ультрафильтры, в том числе счетно-неполные;
- ультрапроизведения и теорема Лося;
- и многое другое, что можно пропустить.