Основы ДМ и МЛ 1MIT осень2017 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(Практика Палецких)
(Практика Палецких)
 
(не показано 16 промежуточных версий 1 участника)
Строка 3: Строка 3:
 
Преподаватель: Омельченко А. В. и Близнец И.А.
 
Преподаватель: Омельченко А. В. и Близнец И.А.
  
*[[Медиа:cardinality.pdf|9 ноября, "Равномощные множества(сжатая версия)"]]
+
'''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 Мультфильм.]
  
*[[Медиа:binomialinequalities.pdf|23 ноября, "Неравества для биномиальных коэффициентов(черновик)"]]
+
'''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 Видеолекция Мусатова Даниила Владимировича]
  
 
== Практика Близнец ==
 
== Практика Близнец ==
Строка 49: Строка 75:
 
*[[Медиа:DM-home-12.pdf|7 декабря, "Схемы из функциональных элементов (ДЗ)."]]
 
*[[Медиа:DM-home-12.pdf|7 декабря, "Схемы из функциональных элементов (ДЗ)."]]
 
Крайний срок сдачи 14 декабря.
 
Крайний срок сдачи 14 декабря.
 +
*[[Медиа:DM-class-13.pdf|13 декабря, "Исчисление высказываний"]]
 +
*[[Медиа:DM-home-13.pdf|13 декабря, "Исчисление высказываний (ДЗ)."]]
 +
Крайний срок сдачи 21 декабря.
  
 
== Практика Палецких ==
 
== Практика Палецких ==
Строка 84: Строка 113:
  
 
Обязательно сдать хоть что-то, если вы сдаете хотя бы на указанное количество баллов, вы получаете зачет по теме (вам не придется ее сдавать на зачете в конце семестра).
 
Обязательно сдать хоть что-то, если вы сдаете хотя бы на указанное количество баллов, вы получаете зачет по теме (вам не придется ее сдавать на зачете в конце семестра).
 +
 +
'''Информация про зачет'''
 +
 +
Зачет по домашним будет проводится в понедельник, 25 числа, на третьей паре. Аудиторию я уточню, если получится, то наша обычная. В таблице будет отмечено цветом, кто уже получил зачет, а кому надо его сдавать.
 +
  
 
В таблице появились результаты контрольной. Предварительно критерии такие:
 
В таблице появились результаты контрольной. Предварительно критерии такие:

Текущая версия на 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.

Крайний срок сдачи 20 сентября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 5.

Крайний срок сдачи 27 сентября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 5.

Крайний срок сдачи 04 октября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 7.

Крайний срок сдачи 11 октября 23:59(на почту) или на занятии в бумажном виде, мин. количество задач 5.

Крайний срок сдачи 18 октября 23:59(на почту) или на занятии в бумажном виде.

Крайний срок сдачи 25 октября 23:59(на почту) или на занятии в бумажном виде.

Крайний срок сдачи 23 ноября 23:59(на почту) или на занятии в бумажном виде.

Крайний срок сдачи 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

Практика 7 декабря

Практика 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 декабря.