ЕНС Математическая логика и алгоритмы, 4 курс мехмата

2011 год

Полезные ссылки для подготовки к экзамену

Отсюда можно скачать текст книги "Языки и исчисления", которая покрывает часть курса.

Здесь можно прочитать про арифметику Пеано, арифметические множества и первую и вторую теоремы Геделя о неполноте.

Здесь подробно рассказано про аксиоматическую теорию множеств ZF и даже доказаны независимость континуум-гипотезы и аксиомы выбора.