Основы ДМ и МЛ 1MIT осень2017 — различия между версиями
Bliznets (обсуждение | вклад) (→Лекции) |
(→Практика Палецких) |
||
| (не показано 35 промежуточных версий 3 участников) | |||
| Строка 3: | Строка 3: | ||
Преподаватель: Омельченко А. В. и Близнец И.А. | Преподаватель: Омельченко А. В. и Близнец И.А. | ||
| − | + | '''9 ноября''' [[Медиа:cardinality.pdf| "Равномощные множества(сжатая версия)"]] | |
| + | |||
Подробное описание темы и доказательств можно найти в первой главе книги "Начала теории множеств" (Н.К. Верещагин, А.Шень). Книга доступна онлайн по [https://www.mccme.ru/free-books/shen/shen-logic-part1-2.pdf ссылке]. | Подробное описание темы и доказательств можно найти в первой главе книги "Начала теории множеств" (Н.К. Верещагин, А.Шень). Книга доступна онлайн по [https://www.mccme.ru/free-books/shen/shen-logic-part1-2.pdf ссылке]. | ||
| + | |||
[https://www.youtube.com/watch?v=Uj3_KqkI9Zo Мультфильм.] | [https://www.youtube.com/watch?v=Uj3_KqkI9Zo Мультфильм.] | ||
| + | |||
| + | '''23 ноября''' [[Медиа:binomialinequalities.pdf| "Неравества для биномиальных коэффициентов(черновик)"]] | ||
| + | |||
| + | Основная часть лекции также рассказана в [https://www.youtube.com/watch?v=0VdcTdHb3ZQ видео] начиная с 66 минуты. | ||
| + | |||
| + | Доказетальство теоремы 3.1 можно найти в [http://www.ii.uib.no/~fomin/BookEA/BookEA.pdf книге] на странице 39 лемма 3.13. | ||
| + | |||
| + | Доказетальство теоремы 3.3 можно найти в [http://wrap.warwick.ac.uk/66070/1/WRAP_1371795-cs-270115-clustering.pdf статье] на страницах 13-15 лемма 9. | ||
| + | |||
| + | '''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 Видеолекция Мусатова Даниила Владимировича] | ||
== Практика Близнец == | == Практика Близнец == | ||
| Строка 32: | Строка 62: | ||
*[[Медиа:DM-home-7.pdf|19 октября, "Основные операции на графами. Деревья (ДЗ)."]] | *[[Медиа:DM-home-7.pdf|19 октября, "Основные операции на графами. Деревья (ДЗ)."]] | ||
Крайний срок сдачи 25 октября 23:59(на почту) или на занятии в бумажном виде. | Крайний срок сдачи 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 декабря. | ||
== Практика Палецких == | == Практика Палецких == | ||
| Строка 48: | Строка 94: | ||
[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/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 октября] | + | [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 октября] | + | [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]. Также по этому адресу обращаться со всеми вопросами. | Сдавать можно лично (на листочке) или на электронную почту [mailto:a.paletskikh@gmail.com a.paletskikh@gmail.com]. Также по этому адресу обращаться со всеми вопросами. | ||
Обязательно сдать хоть что-то, если вы сдаете хотя бы на указанное количество баллов, вы получаете зачет по теме (вам не придется ее сдавать на зачете в конце семестра). | Обязательно сдать хоть что-то, если вы сдаете хотя бы на указанное количество баллов, вы получаете зачет по теме (вам не придется ее сдавать на зачете в конце семестра). | ||
| + | |||
| + | '''Информация про зачет''' | ||
| + | |||
| + | Зачет по домашним будет проводится в понедельник, 25 числа, на третьей паре. Аудиторию я уточню, если получится, то наша обычная. В таблице будет отмечено цветом, кто уже получил зачет, а кому надо его сдавать. | ||
| + | |||
| + | |||
| + | В таблице появились результаты контрольной. Предварительно критерии такие: | ||
| + | |||
| + | {| 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 по второй части | ||
| + | |- | ||
| + | |} | ||
== Практика Самойлова == | == Практика Самойлова == | ||
| Строка 94: | Строка 177: | ||
[http://mit.spbau.ru/sewiki/images/2/28/Homework_7_sol.tex Шаблон для записи домашнего задания 7] | [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. Изоморфизмы и автоморфизмы графов. Перечисление непомеченных объектов.] | + | [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 декабря. | ||
Текущая версия на 20:42, 24 декабря 2017
Лекции
Преподаватель: Омельченко А. В. и Близнец И.А.
9 ноября "Равномощные множества(сжатая версия)"
Подробное описание темы и доказательств можно найти в первой главе книги "Начала теории множеств" (Н.К. Верещагин, А.Шень). Книга доступна онлайн по ссылке.
23 ноября "Неравества для биномиальных коэффициентов(черновик)"
Основная часть лекции также рассказана в видео начиная с 66 минуты.
Доказетальство теоремы 3.1 можно найти в книге на странице 39 лемма 3.13.
Доказетальство теоремы 3.3 можно найти в статье на страницах 13-15 лемма 9.
30 ноября "Логика высказываний"
Параграфы 1.1(Высказывания и операции) и 1.2(Полные системы связок) в книге
7 декабря "Схемы из функциональных элементов"
Параграф 1.3(Схемы из функциональных элементов) в книге
14 декабря "Исчисление высказываний"
Параграф 2.1(Исчисление высказываний) в книге
Видеолекция Мусатова Даниила Владимировича
21 декабря "Теорема о полноте"
Параграфы 2.1(Схемы из функциональных элементов) и 2.2(Второе доказательство теоремы о полноте) в книге
Видеолекция Мусатова Даниила Владимировича
Практика Близнец
Преподаватель: Близнец Иван Анатольевич (iabliznets@gmail.com)
Крайний срок сдачи 14 сентября, мин. количество задач 5.
- 14 сентября, "Основные правила перечислительной комбинаторики. Биномиальные коэффициенты."
- 14 сентября, "Основные правила перечислительной комбинаторики. Биномиальные коэффициенты.(ДЗ)"
Крайний срок сдачи 20 сентября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 5.
- 21 сентября, "k-перестановки из n элементов. Урновые схемы и схемы раскладки предметов по ящикам. Подсчет количества отображений конечных множеств. Числа Стирлинга второго рода."
- 21 сентября, "k-перестановки из n элементов. Урновые схемы и схемы раскладки предметов по ящикам. Подсчет количества отображений конечных множеств. Числа Стирлинга второго рода (ДЗ)."
Крайний срок сдачи 27 сентября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 5.
Крайний срок сдачи 04 октября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 7.
- 05 октября, "Дискретная вероятность. Случайные величины."
- 05 октября, "Дискретная вероятность. Случайные величины (ДЗ)."
Крайний срок сдачи 11 октября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 5.
- 12 октября, "Основные определения теории графов. Пути, циклы."
- 12 октября, "Основные определения теории графов. Пути, циклы (ДЗ)."
Крайний срок сдачи 18 октября 23:59(на почту) или на занятии в бумажном виде.
- 19 октября, "Основные операции на графами. Деревья."
- 19 октября, "Основные операции на графами. Деревья (ДЗ)."
Крайний срок сдачи 25 октября 23:59(на почту) или на занятии в бумажном виде.
- 9 ноября, " Автоморфизм. Изоморфизм. Перечисление непомеченных объектов Лемма Бернсайда."
- 16 ноября, " Автоморфизм. Изоморфизм. Перечисление непомеченных объектов Лемма Бернсайда. Мощности множеств."
- 16 ноября, "Мощности множеств (ДЗ)."
Крайний срок сдачи 23 ноября 23:59(на почту) или на занятии в бумажном виде.
- 23 ноября, " Неравенства для биномиальных коэффициентов."
- 23 ноября, "Неравенства для биномиальных коэффициентов (ДЗ)."
Крайний срок сдачи 30 ноября.
Крайний срок сдачи 7 декабря.
Крайний срок сдачи 14 декабря.
Крайний срок сдачи 21 декабря.
Практика Палецких
Преподаватель: Палецких Алексей Андреевич a.paletskikh@gmail.com
Домашнее задание от 7 сентября Крайний срок: 20 сентября 23:59
Практика 14 сентября Домашнее задание от 14 сентября Крайний срок: 27 сентября 23:59
Практика 21 сентября Домашнее задание от 21 сентября Крайний срок: 4 октября 23:59
Практика 28 сентября Домашнее задание от 28 сентября Крайний срок: 11 октября 23:59
Практика 5 октября Домашнее задание от 5 октября Крайний срок: 18 октября 23:59
Практика 12 октября Домашнее задание от 12 октября Крайний срок: 25 октября 23:59
Практика 19 октябряДомашнее задание от 19 октября Крайний срок: 8 ноября 23:59
Практика 26 октябряДомашнее задание от 26 октября Из-за предстоящей контрольной вы можете сдать домашнее задание лично в четверг или электронным письмом до 23:59 18.11
Практика 9 ноября Домашнее задание от 9 ноября Крайний срок: 29 ноября 23:59
Практика 23 ноября Домашнее задание от 23 ноября Крайний срок: 6 декабря 23:59
Практика 30 ноября Домашнее задание от 30 ноября Крайний срок: 13 декабря 23:59
Практика 14 декабря Домашнее задание от 17 декабря Крайний срок: 24 декабря 23:59
Сдавать можно лично (на листочке) или на электронную почту a.paletskikh@gmail.com. Также по этому адресу обращаться со всеми вопросами.
Обязательно сдать хоть что-то, если вы сдаете хотя бы на указанное количество баллов, вы получаете зачет по теме (вам не придется ее сдавать на зачете в конце семестра).
Информация про зачет
Зачет по домашним будет проводится в понедельник, 25 числа, на третьей паре. Аудиторию я уточню, если получится, то наша обычная. В таблице будет отмечено цветом, кто уже получил зачет, а кому надо его сдавать.
В таблице появились результаты контрольной. Предварительно критерии такие:
| Оценка | Расшифровка |
|---|---|
| 2 | значит надо точно пересдать |
| 3- | чтобы получить в итоге 3 за весь диф зачет на диф зачете могут спросить вопросы и по первой части. |
| 3 | если хочется 4 то на диф зачете надо ответить уверенно на 4 или выше при этом вопросы задаются и по первой части тоже |
| 3+ | если хочется 4 на диф зачете второй части надо ответить на 4 или выше |
| 4- | чтобы получить в итоге 4 за весь диф зачет на диф зачете могут спросить вопросы и по первой части. |
| 4 | если хочется 5 на диф зачете второй части надо уверенно ответить на 5,при этом вопросы задаются и по первой части тоже |
| 4+ | если хочется 5 на диф зачете второй части надо ответить на 5, могут спросить вопросы и по первой части. |
| 5- | для 5 достаточно ответить на 5 по второй части |
Практика Самойлова
Преподаватель: Самойлова Ольга Евгеньевна (geraolga91@gmail.com, https://vk.com/geraolga)
Напоминаю, что домашние задания можно сдавать лично или присылать по почте в течение двух недель после занятия. КАЖДОЕ домашнее задание должно быть сдано. Если домашнее задание сдано на указанный в нем балл, Вы освобождаетесь от задачи по данной теме на зачёте. Если возникнут какие-либо вопросы, задавайте их вконтакте. Удачи!
Домашнее задание 1. Принцип Дирихле Крайний срок сдачи: 21 сентября
Шаблон для записи домашнего задания 1
Домашнее задание 2. Основы перечислительной комбинаторики Крайний срок сдачи: 28 сентября
Шаблон для записи домашнего задания 2
Домашнее задание 3. Перечислительная комбинаторика и числа Стирлинга второго рода Крайний срок сдачи: 4 октября 23:59
Шаблон для записи домашнего задания 3
Домашнее задание 4. Рекуррентные соотношения Крайний срок сдачи: 11 октября 23:59
Шаблон для записи домашнего задания 4
Домашнее задание 5. Дискретная теория вероятностей Крайний срок сдачи: 18 октября 23:59
Шаблон для записи домашнего задания 5
Домашнее задание 6. Основные понятия теории графов Крайний срок сдачи: 25 октября 23:59
Шаблон для записи домашнего задания 6
Домашнее задание 7. Основные понятия теории графов. Деревья Крайний срок сдачи: 8 ноября 23:59
Шаблон для записи домашнего задания 7
Домашнее задание 8. Изоморфизмы и автоморфизмы графов. Перечисление непомеченных объектов. ВНИМАНИЕ! В связи с предстоящей контрольной работой срок сдачи перенесён на 18 ноября 23:59. Тем не менее порешать задачи до контрольной может оказаться не лишним.
Домашнее задание 10. Мощности множеств и неравенства для биномиальных коэффициентов. Крайний срок сдачи: на занятии 30 ноября.
Домашнее задание 11. Логика высказываний. Крайний срок сдачи: на занятии 7 декабря.
Домашнее задание 12. Схемы из функциональных элементов. Крайний срок сдачи: на занятии 14 декабря.
Домашнее задание 13. Исчисление высказываний. Крайний срок сдачи: на занятии 21 декабря.
