Введение в математическую логику
cпецкурс для школьников старших классов
Филипп Дудчук, Денис Паперно
ОТиПЛ МГУ
осень 2005
Время и место: вт. 16:00 17:30
станция метро «Университет»
1-й Корпус гуманитарных факультетов, 9 этаж, ком. 953
[назад]
Рекомендуемая литература для подготовки к экзамену
В общем случае для успешной сдачи экзамена достаточно регулярного посещения занятий и понимания их содержания. Тем не менее, мы рекомендуем следующую литературу для тех, кто заинтересован в дальнейшем изучении математической логики.
- Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. М.: МЦНМО, 1999. 128 с. [скачать]
- Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. М.: МЦНМО, 2000. 288 с. [скачать]
- Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. 3-е изд. М.: Физматлит, 1995. 256 с.
- Плиско В. Е. Математическая логика: Курс лекций. 86 с. [скачать]
- Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. 2-е изд. М.: Физматлит, 2002. 128 с.
- Чёрч, А. Введение в математическую логику. М., ИЛ, 1960. [С. 15-63.]
Вопросы и соображения можно формулировать в гостевой книге или направлять по электронному адресу: seminars@linguistics.msx.ru.
[home]
© Philip I. Dudchuk & Denis A. Paperno 2005