Математическая логика и теория алгоритмов 3 тома. (Н. К. Верещагин, А. Шень)
Издательство: МЦНМО, 1999 г. | 128 стр., 230 стр., 134 стр.
ISBN 5-900916-36-7 | Формат: djvu | Размер: 0.5 мб, 1 мб, 0.5 мб
Книги написаны по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В первой рассказывается об основных понятиях `наивной теории множеств` (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя около сотни задач различной трудности. Вторая посвящена алгоритмам языков программирования.