| сент | 14 | Введение и основные понятия. Аксиома экстенсиональности. Парадокс Рассела. |
| 21 | Аксиомы ZFC и прямые следствия. Термы. | |
| 28 | Упорядоченная пара по Куратовскому. Декартово произведение. | |
| окт | 5 | Натур. числа. Счетная индукция и рекурсия. Арифметика. Целые, рациональные, действительные числа |
| 12 | Функции и их разновидности. Сравнение множеств по мощности | |
| 19 | Теоремы Кантора-Бернштейна и Кантора. Парадокс Кантора | |
| 26 | Мощности конечные и бесконечные. Критерий Дедекинда. | |
| ноя | 2 | Отношение эквивалентности. Отношение порядка. |
| 9 | Изоморфизм порядка. Изоморфные и не изоморфные множества. | |
| 16 | контрольная работа | |
| 23 | Вполне упорядоченные множества. Трансфинитные числа (ординалы) и их свойства. Парадокс Бурали-Форти. Трансфинитная индукция и рекурсия | |
| 30 | Теорема Цермело о вполне упорядочении. Сравнимость по мощности любых множеств. Кардиналы. Континуум-гипотеза (обзор) | |
| дек | 7 | Лемма Цорна. Теорема о квадрате. Мощность суммы и декартова произведения множеств |
| 14 | прием домашнего задания и зачет | |
| 21 | прием домашнего задания и зачет |
Архив автора: Admin
Переезд проекта «Бурбакизатор»
В связи с планируемым закрытием площадки Google Code проект «Бурбакизатор» переехал на sourceforge.net. По-прежнему актуален мой призыв к студентам: буду рад стать научным руководителем для желающих сделать НИР по переводу Бурбакизатора на FreePascal и доводке необходимых функциональных возможностей.
Учебник
В учебнике найдена ещё одна опечатка (на стр. 191), обновлены электронная версия и errata.
Зачёт, осень-2014
Уважаемые студенты, актуальный перечень вопросов к зачёту находится здесь. Необходимым условием сдачи зачёта является сданное домашнее задание, поэтому жду ваших тетрадей как можно скорее. Пишите, звоните, взять тетради могу в любой день.
Домашнее задание на осень-2014
Уважаемые студенты, домашнее задание прошу брать из этого документа. Если возникнут сложности с задачником Лаврова/Максимовой, дайте знать.
С новым учебным годом!
Экзамен в весеннем семестре 2014
Уважаемые студенты, к экзамену в весеннем семестре 2014 следует готовить вопросы 38–45 из перечня.
Дополнительный материал
Опубликована моя старая статья «Об эквивалентной представимости рода структуры с помощью заданной типовой характеристики», материал которой читается в весенние семестры и, возможно, со временем войдёт в учебник.
Зачёт в осеннем семестре 2013
Опубликован перечень вопросов к зачёту. Будьте внимательны! Перечень адаптирован к фактически прочитанному материалу и несколько отличается от тех, что были в прошлые годы.
Перенос страницы, учебник
Эта страница переехала с narod.ru на платный хостинг (что давно следовало сделать :-), и отныне будет существовать без рекламных баннеров. Электронная версия учебника и список замеченных опечаток обновлены.