Всем привет,
В качестве эксперимента я попробую настроить автоматический кросс-постинг с сайта inponomarev.ru на группу вконтакте нашей кафедры. Если всё пойдёт удачно, мои посты про преподавание также будут публиковаться в группе ВК.
14 сентября прошло первое занятие по осеннему курсу теории множеств.
Видеозапись первой прошлогодней лекции: https://youtu.be/J_s6DT8ioUc
Контрольная работа к первому занятию: 
http://inponomarev.ru/course/test2016-1-1.pdf
С уважением,
ИП
Уважаемые студенты, поздравляю с началом учебного года! Наши занятия начнутся с 14 сентября по четвергам в 14:00.
Уважаемые студенты, 4 и 11 апреля я, к сожалению, не смогу провести занятия. Увидимся 18 апреля!
Уважаемые студенты, вопросы к зачёту следует брать отсюда.
Разбор задач с предыдущей контрольной работы (запись осени-2015):
Добавлены контрольные работы за 2 ноября и 26 ноября. Обновлена страница с результатами проверки.
Разбор задач предыдущей контрольной работы:
На шестом занятии рассмотрены: Теорема Кантора-Шредера-Бернштейна. Теорема Кантора. Конечные и бесконечные множества. Критерий Дедекинда.
Контрольную работу за сегодняшний день можно взять в электронном виде здесь.
Вернулся с конференции и выкладываю, наконец, контрольную к пятому занятию. Смотрите результаты проверки.
Сегодня(17 октября) занятия не будет. Но мы должны успеть всё наверстать за оставшиеся недели.
На пятом занятии рассмотрены: бинарные отношения, функции (инъекции, сюръекции, биекции), образы и прообразы множеств, основные свойства образов множеств относительно операций над множествами.
Выкладываю контрольную к третьему занятию. Смотрите результаты проверки.
На четвертом занятии рассмотрены: натуральные числа, счетная индукция и рекурсия, арифметика, а также способы построения множеств целых, рациональных и действительных чисел.