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