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

Материал из MathINFO
Перейти к навигации Перейти к поиску
Строка 67: Строка 67:
 
|[https://yadi.sk/d/WfnhsuusDHFqTg Видео лекции]
 
|[https://yadi.sk/d/WfnhsuusDHFqTg Видео лекции]
 
|[https://docviewer.yandex.com/view/22496587/?*=07PZMybzETP9CtAajPpvOONveo17InVybCI6InlhLWRpc2stcHVibGljOi8vZlgxVHgzS1ZIQm1KZW5zdkd5QU5jTTNaTExyQmI5Z2prUnk5WGFpa092WndkVmlSY0M2UFFBazNKMDJHSDBCV3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODg4MDA2OTc0NjYsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 
|[https://docviewer.yandex.com/view/22496587/?*=07PZMybzETP9CtAajPpvOONveo17InVybCI6InlhLWRpc2stcHVibGljOi8vZlgxVHgzS1ZIQm1KZW5zdkd5QU5jTTNaTExyQmI5Z2prUnk5WGFpa092WndkVmlSY0M2UFFBazNKMDJHSDBCV3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODg4MDA2OTc0NjYsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 +
|-
 +
|12.05
 +
|Методы доказательств.
 +
|
 +
|[https://docviewer.yandex.com/view/22496587/?page=2&*=jQdLQi4%2FzuEgAwsGDP97dODogJV7InVybCI6InlhLWRpc2stcHVibGljOi8vYmJiTUErZStWSTBhblp2bTdLUGZVNG4xM283MjJpWmJOa1U4dW1MR3hDQW5JN3BOQW9WTGZMbzY2K1I4QkVDSXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODkxODU3NDc1MTAsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 
|}
 
|}
  

Версия 11:29, 11 мая 2020

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

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

  • Лекции читает: Сысоева Любовь Николаевна (lsysoeva@hse.ru)
  • Семинары ведет: Сысоева Любовь Николаевна
  • Ассистенты: Пылина Анна (annapylina@yandex.ru ; vk.com/p_linaa), Янчук Вероника (yanchuk.veronika@yandex.ru ; vk.com/vayanchuk)

Материалы

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

Ссылка для записи на консультацию

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

Голосование Zoom VS MS Teams

Пароль для занятий в zoom всегда будет 000 (три нуля).

Ссылка на команду MS Teams 181 группы

Ссылка на команду MS Teams 182 группы

Ссылка на команду MS Teams 183 группы

Ссылка на команду MS Teams 184 группы

Ведомости

группа 181

группа 182

группа 183

группа 184

Лекции

дата лекции тема лекции ссылка на трансляцию/запись дополнительные материалы
6.04 Различные метрики и их применения https://zoom.us/j/189635294 Презентация
13.04 Алгоритмы кластеризации Видео лекции Презентация
20.04 Формализация утверждений. Булевы функции. Видео лекции Презентация
24.04 Утверждения с кванторами и отрицания к ним. Видео лекции Презентация
08.05 Диаграммы Эйлера-Венна. Видео лекции Презентация
12.05 Методы доказательств. Презентация

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

Выполненные домашние задания в формате .pdf присылать на почту pmd2020@yandex.ru

тема семинара задания на семинар ссылка на семинар домашнее задание
Различные метрики и их применения Семинар №1 группа 184;

группа 183;

группа 181;

группа 182

ДЗ №1
Алгоритмы кластеризации Семинар №2 MS Teams ДЗ №2
Формализация утверждений. Булевы функции. Семинар №3 группа 181;

группа 182;

группа 183;

группа 184;

ДЗ №3
Формализация утверждений. Утверждения с кванторами и отрицания к ним. Семинар №4

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №4
Диаграммы Эйлера-Венна. Семинар №5

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №5
Методы доказательств Семинар 6

группа 183;

группа 184