Обязательный спецкурс по иатематической логике и теории алгоритмов, 2014/2015 учебный год.
- Экзамен по спецкурсу состоится 09.06.2015, в 10:00, ауд. 16-05 (кафедра математической логики и теории алгоритмов). Желающие сдавать должны дать об этом знать по электронной почте lbekl@yandex.ru.
Программа курса
Учебные материалы к лекциям
Аксиомы теории множеств (pdf)
Неоконченный и сырой текст про аксиомы теории множеств, натуральный ряд и индукцию.
Будет еще дополняться и обновляться, замеченные опечатки приветствуются.
Упорядоченные множества и аксиома выбора (pdf)
Логика высказываний и логика предикатов (pdf)
Формальная арифметика и 1-я теорема Гёделя (pdf)