Принципы математического доказательства (2 курс): различия между версиями

Материал из MathINFO
Перейти к навигации Перейти к поиску
Строка 65: Строка 65:
 
|
 
|
 
|Методы доказательств.
 
|Методы доказательств.
|
+
|[https://disk.yandex.ru/d/_mMNZxyiG3JLPg Лекция 7]
|
+
|[https://docviewer.yandex.ru/view/1403283598/?*=Wi4RadO%2FNtkVgZMBTle3brESqEt7InVybCI6InlhLWRpc2stcHVibGljOi8vbUtMbWxvTEk2ZVFGWFc0Wlg1M1pRNU1aVVo4eXhOM2FJSlpoU0N2WE5VTHZvSlkwWEE1b1BaZ1pKSnlML2tMYnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PTov0J%2FRgNC10LfQtdC90YLQsNGG0LjQuC82LiDQnNC10YLQvtC00Ysg0LTQvtC60LDQt9Cw0YLQtdC70YzRgdGC0LIvUHJlc2VudC5wZGYiLCJ0aXRsZSI6IlByZXNlbnQucGRmIiwibm9pZnJhbWUiOmZhbHNlLCJ1aWQiOiIxNDAzMjgzNTk4IiwidHMiOjE2MjIxMDcwMDY1NzYsInl1IjoiNDMzMDMxMzM2MTQ4NDc3NzYwOSJ9 Презентация (2020)]
 
|-
 
|-
 
|
 
|

Версия 12:17, 27 мая 2021

Дорогие второкурсники!

На этой странице будут появляться различные материалы и объявления, связанные с курсом «Принципы математического доказательства», читаемого для студентов 2-го курса ОП Политологии в 2020/2021 учебном году.

Материалы

Консультации

Запись на консультации

Онлайн-занятия

Ведомости

Онлайн

191 группа

192 группа

193 группа

194 группа

195 группа

Лекции

дата лекции тема лекции ссылка на трансляцию/запись дополнительные материалы
5.04.2021 Различные метрики и их применения Лекция 1 Информация о курсе

Презентация (2020)

12.04.2021 Алгоритмы кластеризации Лекция 2 Презентация (2020)
19.04.2021 Формализация утверждений. Булевы функции. Лекция 3 Презентация (2020)
26.04.2021 Утверждения с кванторами и отрицания к ним. Лекции 4, 5
17.05.2021 Диаграммы Эйлера-Венна. Лекция 6 Презентация (2020)
Методы доказательств. Лекция 7 Презентация (2020)
Мощности множеств.
Комбинаторика.
Мэтчинги.

Семинары и домашние задания

тема семинара задания на семинар ссылка на семинар домашнее задание
Различные метрики и их применения Задачи к семинару 9.04 (10.04) Домашнее задание 1
Алгоритмы кластеризации Задачи к семинару 16.04 (17.04) Домашнее задание 2

Для студентов, обучающихся дистанционно, задание сдаётся в письменном виде (срок сдачи - 9:00:00 23 апреля 2021 года).

Формализация утверждений. Булевы функции Задачи к семинару 23.04 (24.04) Домашнее задание 3
Утверждения с кванторами и отрицания к ним Задачи к семинару 30.04

Разбор письменного домашнего задания на семинаре 14.05(15.05)

Письменное домашнее задание 4

Задание сдаётся в письменном виде. Срок сдачи - 9:00:00 14 мая 2021 года

Диаграммы Эйлера-Венна Задачи к семинару 21.05 (22.05) Домашнее задание 5
Методы доказательств Задачи к семинару 28.05 (29.05)