Просмотр исходного текста страницы Основы ДМ и МЛ 1MIT осень2017


== Лекции ==
Преподаватель: Омельченко А. В. и Близнец И.А.

'''9 ноября''' [[Медиа:cardinality.pdf| "Равномощные множества(сжатая версия)"]]

Подробное описание темы и доказательств можно найти в первой главе книги "Начала теории множеств" (Н.К. Верещагин, А.Шень). Книга доступна онлайн по [https://www.mccme.ru/free-books/shen/shen-logic-part1-2.pdf ссылке].

[https://www.youtube.com/watch?v=Uj3_KqkI9Zo Мультфильм.]

'''23 ноября''' [[Медиа:binomialinequalities.pdf| "Неравества для биномиальных коэффициентов(черновик)"]]

'''30 ноября''' "Логика высказываний"

Параграфы 1.1(Высказывания и операции) и 1.2(Полные системы связок) в [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf книге]

'''7 декабря''' "Схемы из функциональных элементов"

Параграф 1.3(Схемы из функциональных элементов) в [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf книге]

'''14 декабря''' "Исчисление высказываний"

Параграф 2.1(Исчисление высказываний) в [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf книге]

[http://lectoriy.mipt.ru/lecture/Maths-MathemLogic-L05-Musatov-141001.04 Видеолекция Мусатова Даниила Владимировича]

'''21 декабря''' "Теорема о полноте"

Параграфы 2.1(Схемы из функциональных элементов) и 2.2(Второе доказательство теоремы о полноте) в [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf книге]

[http://lectoriy.mipt.ru/lecture/Maths-MathemLogic-L06-Musatov-141008.03 Видеолекция Мусатова Даниила Владимировича]

== Практика Близнец ==

Преподаватель: Близнец Иван Анатольевич ([mailto:iabliznets@gmail.com iabliznets@gmail.com])

[https://docs.google.com/spreadsheets/d/1o9AbM7_a4bdBeX4H6vUsUQ_jZ-1oqOxw-ZPxFWhOZ2o/edit#gid=1076018429 Результаты практики]
*[[Медиа:Dirihle2.pdf|7 сентября, "Принцип Дирихле (ДЗ)"]]
Крайний срок сдачи 14 сентября, мин. количество задач 5.
*[[Медиа:DM-class-2.pdf|14 сентября, "Основные правила перечислительной комбинаторики. Биномиальные коэффициенты."]]
*[[Медиа:DM-home-2.pdf|14 сентября, "Основные правила перечислительной комбинаторики. Биномиальные коэффициенты.(ДЗ)"]]
Крайний срок сдачи 20 сентября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 5.
*[[Медиа:DM-class-3.pdf|21 сентября, "k-перестановки из n элементов. Урновые схемы и схемы раскладки предметов по ящикам. Подсчет количества отображений конечных множеств. Числа Стирлинга второго рода."]]
*[[Медиа:DM-home-3.pdf|21 сентября, "k-перестановки из n элементов. Урновые схемы и схемы раскладки предметов по ящикам. Подсчет количества отображений конечных множеств. Числа Стирлинга второго рода (ДЗ)."]]
Крайний срок сдачи 27 сентября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 5.
*[[Медиа:DM-class-4.pdf|28 сентября, "Рекуррентные соотношения."]]
*[[Медиа:DM-home-fixed-4.pdf|28 сентября, "Рекуррентные соотношения (ДЗ)."]]
Крайний срок сдачи 04 октября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 7.
*[[Медиа:DM-class-5.pdf|05 октября, "Дискретная вероятность. Случайные величины."]]
*[[Медиа:DM-home-5.pdf|05 октября, "Дискретная вероятность. Случайные величины (ДЗ)."]]
Крайний срок сдачи 11 октября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 5.
*[[Медиа:DM-class-6.pdf|12 октября, "Основные определения теории графов. Пути, циклы."]]
*[[Медиа:DM-home-6.pdf|12 октября, "Основные определения теории графов. Пути, циклы (ДЗ)."]]
Крайний срок сдачи 18 октября 23:59(на почту) или на занятии в бумажном виде.
*[[Медиа:DM-class-7.pdf|19 октября, "Основные операции на графами. Деревья."]]
*[[Медиа:DM-home-7.pdf|19 октября, "Основные операции на графами. Деревья (ДЗ)."]]
Крайний срок сдачи 25 октября 23:59(на почту) или на занятии в бумажном виде.
*[[Медиа:DM-class-8.pdf|9 ноября, " Автоморфизм. Изоморфизм. Перечисление непомеченных объектов Лемма Бернсайда."]]
*[[Медиа:DM-class-9.pdf|16 ноября, " Автоморфизм. Изоморфизм. Перечисление непомеченных объектов Лемма Бернсайда. Мощности множеств."]]
*[[Медиа:DM-home-9.pdf|16 ноября, "Мощности множеств (ДЗ)."]]
Крайний срок сдачи 23 ноября 23:59(на почту) или на занятии в бумажном виде.
*[[Медиа:DM-class-10.pdf|23 ноября, " Неравенства для биномиальных коэффициентов."]]
*[[Медиа:DM-home-10.pdf|23 ноября, "Неравенства для биномиальных коэффициентов (ДЗ)."]]
Крайний срок сдачи 30 ноября.
*[[Медиа:DM-class-11.pdf|30 ноября, "Пропозициональные формулы"]]
*[[Медиа:DM-home-11.pdf|30 ноября, "Пропозициональные формулы (ДЗ)."]]
Крайний срок сдачи 7 декабря.
*[[Медиа:DM-class-12.pdf|7 декабря, "Схемы из функциональных элементов"]]
*[[Медиа:DM-home-12.pdf|7 декабря, "Схемы из функциональных элементов (ДЗ)."]]
Крайний срок сдачи 14 декабря.
*[[Медиа:DM-class-13.pdf|13 декабря, "Исчисление высказываний"]]
*[[Медиа:DM-home-13.pdf|13 декабря, "Исчисление высказываний (ДЗ)."]]
Крайний срок сдачи 21 декабря.

== Практика Палецких ==
Преподаватель: Палецких Алексей Андреевич [mailto:a.paletskikh@gmail.com a.paletskikh@gmail.com]

[http://mit.spbau.ru/sewiki/images/5/54/AU_hw_1_1.pdf Домашнее задание от 7 сентября] Крайний срок: 20 сентября 23:59

[http://mit.spbau.ru/sewiki/images/1/19/AU_cw_1_2.pdf Практика 14 сентября] [http://mit.spbau.ru/sewiki/images/c/cd/AU_hw_1_2.pdf Домашнее задание от 14 сентября] Крайний срок: 27 сентября 23:59

[http://mit.spbau.ru/sewiki/images/e/ed/AU_cw_1_3.pdf Практика 21 сентября] [http://mit.spbau.ru/sewiki/images/a/a9/AU_hw_1_3.pdf Домашнее задание от 21 сентября] Крайний срок: 4 октября 23:59

[http://mit.spbau.ru/sewiki/images/a/a5/AU_cw_1_4.pdf Практика 28 сентября] [http://mit.spbau.ru/sewiki/images/a/ae/AU_hw_1_4.pdf Домашнее задание от 28 сентября] Крайний срок: 11 октября 23:59

[http://mit.spbau.ru/sewiki/images/6/6b/AU_cw_1_5.pdf Практика 5 октября] [http://mit.spbau.ru/sewiki/images/0/0f/AU_hw_1_5.pdf Домашнее задание от 5 октября] Крайний срок: 18 октября 23:59

[http://mit.spbau.ru/sewiki/images/7/7c/AU_cw_1_6.pdf Практика 12 октября] [http://mit.spbau.ru/sewiki/images/f/ff/AU_hw_1_6.pdf Домашнее задание от 12 октября] Крайний срок: 25 октября 23:59

[http://mit.spbau.ru/sewiki/images/e/ec/AU_cw_1_7.pdf Практика 19 октября][http://mit.spbau.ru/sewiki/images/5/59/AU_hw_1_7.pdf Домашнее задание от 19 октября] Крайний срок: 8 ноября 23:59

[http://mit.spbau.ru/sewiki/images/c/c8/AU_cw_1_8.pdf Практика 26 октября][http://mit.spbau.ru/sewiki/images/2/20/AU_hw_1_8.pdf Домашнее задание от 26 октября] Из-за предстоящей контрольной вы можете сдать домашнее задание лично в четверг или электронным письмом до 23:59 18.11

[http://mit.spbau.ru/sewiki/images/b/ba/AU_cw_1_9.pdf Практика 9 ноября] [http://mit.spbau.ru/sewiki/images/d/dd/AU_hw_1_9.pdf Домашнее задание от 9 ноября] Крайний срок: 29 ноября 23:59

[http://mit.spbau.ru/sewiki/images/1/15/AU_cw_1_10.pdf Практика 23 ноября] [http://mit.spbau.ru/sewiki/images/1/17/AU_hw_1_10.pdf Домашнее задание от 23 ноября] Крайний срок: 6 декабря 23:59

[http://mit.spbau.ru/sewiki/images/e/ee/AU_cw_1_11.pdf Практика 30 ноября] [http://mit.spbau.ru/sewiki/images/7/7e/AU_hw_1_11.pdf Домашнее задание от 30 ноября] Крайний срок: 13 декабря 23:59

[http://mit.spbau.ru/sewiki/images/9/98/AU_cw_1_12.pdf Практика 7 декабря]

[http://mit.spbau.ru/sewiki/images/7/7d/AU_cw_1_13.pdf Практика 14 декабря] [http://mit.spbau.ru/sewiki/images/2/29/AU_hw_1_12_13.pdf Домашнее задание от 17 декабря] Крайний срок: 24 декабря 23:59

[http://mit.spbau.ru/sewiki/images/9/96/AU_cw_1_13_1.pdf Список аксиом]

Сдавать можно лично (на листочке) или на электронную почту [mailto:a.paletskikh@gmail.com a.paletskikh@gmail.com]. Также по этому адресу обращаться со всеми вопросами.

Обязательно сдать хоть что-то, если вы сдаете хотя бы на указанное количество баллов, вы получаете зачет по теме (вам не придется ее сдавать на зачете в конце семестра).

В таблице появились результаты контрольной. Предварительно критерии такие:

{| class="mw-collapsible mw-collapsed wikitable"
! Оценка || Расшифровка
|-
| 2 || значит надо точно пересдать
|-
| 3- || чтобы получить в итоге 3 за весь диф зачет на диф зачете могут спросить вопросы и по первой части.
|-
| 3 || если хочется 4 то на диф зачете надо ответить уверенно на 4 или выше при этом вопросы задаются и по первой части тоже
|-
| 3+ || если хочется 4 на диф зачете второй части надо ответить на 4 или выше
|-
| 4- || чтобы получить в итоге 4 за весь диф зачет на диф зачете могут спросить вопросы и по первой части.
|-
| 4 ||  если хочется 5 на диф зачете второй части надо уверенно ответить на 5,при этом вопросы задаются и по первой части тоже
|-
| 4+  || если хочется 5 на диф зачете второй части надо  ответить на 5, могут спросить вопросы и по первой части.
|-
| 5- || для 5 достаточно  ответить на 5 по второй части 
|-
|}

== Практика Самойлова ==
Преподаватель: Самойлова Ольга Евгеньевна ([mailto:geraolga91@gmail.com geraolga91@gmail.com], https://vk.com/geraolga)

[https://docs.google.com/spreadsheets/d/1o9AbM7_a4bdBeX4H6vUsUQ_jZ-1oqOxw-ZPxFWhOZ2o/edit?usp=sharing Результаты домашних заданий]

Напоминаю, что домашние задания можно сдавать лично или присылать по почте в течение двух недель после занятия. КАЖДОЕ домашнее задание должно быть сдано. Если домашнее задание сдано на указанный в нем балл, Вы освобождаетесь от задачи по данной теме на зачёте. Если возникнут какие-либо вопросы, задавайте их вконтакте. Удачи!

[http://mit.spbau.ru/sewiki/images/d/d2/DM_102_3_Homework_1.pdf Домашнее задание 1. Принцип Дирихле] Крайний срок сдачи: 21 сентября

[http://mit.spbau.ru/sewiki/images/3/3c/DM_102_3_Homework_1_solution.tex Шаблон для записи домашнего задания 1]

[http://mit.spbau.ru/sewiki/images/3/37/Dm_homework_2.pdf Домашнее задание 2. Основы перечислительной комбинаторики] Крайний срок сдачи: 28 сентября

[http://mit.spbau.ru/sewiki/images/4/44/Dm_Homework_2_solution.tex Шаблон для записи домашнего задания 2]

[http://mit.spbau.ru/sewiki/images/d/d7/DM_102_3_Homework_3.pdf Домашнее задание 3. Перечислительная комбинаторика и числа Стирлинга второго рода] Крайний срок сдачи: 4 октября 23:59 

[http://mit.spbau.ru/sewiki/images/b/b6/DM_102_3_Homework_3_solution.tex Шаблон для записи домашнего задания 3]

[http://mit.spbau.ru/sewiki/images/7/78/Dm_102_3_Homework_4.pdf Домашнее задание 4. Рекуррентные соотношения] Крайний срок сдачи: 11 октября 23:59

[http://mit.spbau.ru/sewiki/images/0/05/Homework_4_solution.tex Шаблон для записи домашнего задания 4]

[http://mit.spbau.ru/sewiki/images/8/86/Dm_102_3_Homework_5.pdf Домашнее задание 5. Дискретная теория вероятностей] Крайний срок сдачи: 18 октября 23:59

[http://mit.spbau.ru/sewiki/images/c/ce/Homework_5_solution.tex Шаблон для записи домашнего задания 5]

[http://mit.spbau.ru/sewiki/images/5/59/Dm_102_3_Homework_6.pdf Домашнее задание 6. Основные понятия теории графов] Крайний срок сдачи: 25 октября 23:59

[http://mit.spbau.ru/sewiki/images/7/79/Homework_6_solution.tex Шаблон для записи домашнего задания 6]

[http://mit.spbau.ru/sewiki/images/b/b5/Dm_102_3_Homework_7.pdf Домашнее задание 7. Основные понятия теории графов. Деревья] Крайний срок сдачи: 8 ноября 23:59

[http://mit.spbau.ru/sewiki/images/2/28/Homework_7_sol.tex Шаблон для записи домашнего задания 7]

[http://mit.spbau.ru/sewiki/images/1/16/DM_102_3_Homework_8.pdf Домашнее задание 8. Изоморфизмы и автоморфизмы графов. Перечисление непомеченных объектов.] ВНИМАНИЕ! В связи с предстоящей контрольной работой срок сдачи перенесён на '''18 ноября 23:59'''. Тем не менее порешать задачи до контрольной может оказаться не лишним.

[http://mit.spbau.ru/sewiki/images/a/a0/Dm_102_3_Hw_10.pdf Домашнее задание 10. Мощности множеств и неравенства для биномиальных коэффициентов.] Крайний срок сдачи: на занятии 30 ноября.

[http://mit.spbau.ru/sewiki/images/6/65/Dm_102_3_Hw_11.pdf Домашнее задание 11. Логика высказываний.] Крайний срок сдачи: на занятии 7 декабря.

[http://mit.spbau.ru/sewiki/images/3/31/Dm_102_3_Hw_12.pdf Домашнее задание 12. Схемы из функциональных элементов.] Крайний срок сдачи: на занятии 14 декабря.

[http://mit.spbau.ru/sewiki/images/1/1a/Dm_102_3_Hw_13.pdf Домашнее задание 13. Исчисление высказываний.] Крайний срок сдачи: на занятии 21 декабря.