Дискретная математика КНАД

2021-09-15T16:31:20Z

T.An.Nic: Добавлен семинар №1 группы 211

== Преподаватели и учебные ассистенты ==

{| class="wikitable" style="text-align:center"
|-
! Группа !! 211 !! 212
|-
|| Лектор ||colspan="2"| [https://www.hse.ru/org/persons/224875083 Мажуга А.М.]
|-
|| Семинарист || Трушин Антон || [https://www.hse.ru/org/persons/224875083 Мажуга А.М.]
|-
|| Приемные часы || TBD || Среда, 18:00 -- 21:00, кабинет S808 нужно предупредить за день
|-
|| Ассистент || Смородинов Александр asmorodinov66@gmail.com
|| Копытов Даниил daniil.copytow43@yandex.ru
|}

== О курсе ==
Эта страничка содержит ссылки на материалы по курсу Дискретная Математика в 2021/2022 учебном году на программе "Компьютерные науки и анализ данных" Факультета Компьютерных Наук НИУ ВШЭ.

== Конспект Лекций ==

''' Модуль 1'''

* [https://www.dropbox.com/s/idul60ntayu8zb3/%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B0_%D0%9B%D0%B5%D0%BA_2.pdf?dl=0 '''Лекция 2'''] (15.09.2021). Введение в теорию множеств; основные способы задания множества; основные операции над множествами; (полный) принцип математической индукции.

* [https://www.dropbox.com/s/dyjluf1xsnzfsk6/%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B0_%D0%9B%D0%B5%D0%BA_1.pdf?dl=0 '''Лекция 1'''] (08.09.2021). Введение в алгебру логики; понятие высказывания, простые и сложные (= составные) высказывания; основные логические связки; логически эквивалентные высказывания; примеры эквивалентностей; тавтологии и противоречия; кванторы всеобщности и существования.

== Семинары ==

'''Материал с семинаров 211-й группы:'''

'''Модуль 1'''

* [https://www.dropbox.com/s/uarny23vqfmcfko/%D0%A1%D0%B5%D0%BC%D0%B8%D0%BD%D0%B0%D1%8001.pdf?dl=0 '''Семинар №1'''] (09.09.2021)

'''Материал с семинаров 212-й группы:'''

'''Модуль 1'''

* [https://www.dropbox.com/s/dbhxyb19jvc1vkw/%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B0_%D0%A1%D0%B5%D0%BC_2.pdf?dl=0 '''Семинар №2'''] (15.09.2021)

* [https://www.dropbox.com/s/4i438oauxrc1lk3/%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B0_%D0%A1%D0%B5%D0%BC_1.pdf?dl=0 '''Семинар №1'''] (08.09.2021)

== Домашние задания ==

'''Обязательные ДЗ для 211-й группы:'''

'''Модуль 1'''

'''Обязательные ДЗ для 212-й группы:'''

'''Модуль 1'''

* [https://www.dropbox.com/s/mzo22s3wo7vj7pf/%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B0_%D0%94%D0%97_1.pdf?dl=0 '''ДЗ №1'''] (выдача: 08.09.21, дедлайн: 17.09.21)

== Ведомость с оценками и Контроль посещаемости ==

{| class="wikitable" style="text-align:center"
|-
! [https://docs.google.com/spreadsheets/d/13ud5o138uy_Y3dEfWtO83S0--QyEadquHFLUH6blo1g/edit?usp=sharing 191] !! [https://docs.google.com/spreadsheets/d/1Xkg-K2bCgHPqNOR-9iNpSRM8uu2rgvOWk7UWT0NwlgY/edit#gid=0 192] !! [https://docs.google.com/spreadsheets/d/1YilO_Lf0gruORTIBkmsckq6j6jQ2G8i61mhxcalDjiQ/edit?usp=sharing 194]
|}

== Формы контроля и оценивание ==
Курс Дискретная Математика на КНАД читается в 1 и 2 модулях.

В течение курса установлены следующие формы контроля:
* письменный экзамен (ЭК);
* письменная контрольная работа (KР);
* два коллоквиума (KЛ1, КЛ2);
* несколько самостоятельных работ (СР, где СР --- есть среднее арифметическое оценок всех самостоятельных работ);
* несколько домашних заданий (ДЗ, где ДЗ --- есть среднее арифметическое оценок всех домашних работ; обычно одно ДЗ соответствует одному семинару).

'''Блокирующих форм контроля нет.'''

Все оценки, а именно ЭК, KР, КЛ1, КЛ2, СР и ДЗ, являются вещественными числами, принадлежащими отрезку [0;10] и вычисляются без округления.

'''Итоговая Оценка за дисциплину''', ИО, вычисляется по следующей формуле:

'''ИО = Округление(1/8*КЛ1+1/8*КЛ2+1/8*КР+7/40*ДЗ+3/20*СР+3/10*ЭК),'''

где функция Округление(r) определена следующим образом:
если десятичная часть неотрицательного вещественного числа r лежит в полуинтервале [0;0,2), то r округляется до максимального целого числа, не превосходящего r (например, Округление(7,199)=7);
если десятичная часть неотрицательного вещественного числа r лежит в интервале (0,7;1), то r округляется до наименьшего целого числа, большего r (например, Округление(7,701)=8);
если десятичная часть неотрицательного вещественного числа r лежит в отрезке [0,2;0,7], то r округляется до максимального целого числа, не превосходящего r, если студент присутствовал менее чем на 66% семинаров, иначе r округляется до наименьшего целого числа, не меньшего r.

Пересдача самостоятельных работ не предусмотрена '''даже по уважительной причине'''. Если студент не смог сдать самостоятельную работу по уважительной причине, то ее оценка считается равной оценке студента за ближайший к этой СР коллоквиум или КР.

Без уважительной причины студент может сдать только одно ДЗ за семестр после дедлайна (оно оценивается без штрафа), это ДЗ нельзя сдавать в течение последней недели перед зимней сессией. В случае наличия уважительной причины ситуация с ДЗ решается индивидуально.

== Контрольные Работы и Экзамены ==

== Коллоквиумы ==

== Список рекомендуемой литературы ==

Wiki - Факультет компьютерных наук - Вклад [ru]

Дискретная математика КНАД