Дискретная математика КНАД 24/25
Содержание
Преподаватели и учебные ассистенты
| Группа | 231 | 232 |
|---|---|---|
| Лектор | Мажуга А.М. | |
| Семинарист | Мажуга А.М. | Промыслов В.В. |
| Приемные часы | Суббота, 17:00 -- 21:00, через Zoom нужно предупредить за день |
??? |
| Ассистент | Галкина Таисия togalkina@edu.hse.ru |
Пономарчук Анна ponomarchuk.anna@yandex.ru |
О курсе
Эта страничка содержит ссылки на материалы по курсу Дискретная Математика в 2024/2025 учебном году на программе "Компьютерные науки и анализ данных" Факультета Компьютерных Наук НИУ ВШЭ.
Конспект Лекций
Модуль 1
- Лекция 1 (11.09.2024). Введение в алгебру логики; понятие высказывания, простые и сложные (= составные) высказывания; основные логические связки; логически эквивалентные высказывания; примеры эквивалентностей; тавтологии и противоречия; кванторы всеобщности и существования.
Семинары
Материал с семинаров 231-й группы:
- Семинар №14 (18.12.2023) (Доска с Семинар_14)
- Семинар №13 (09.12.2023)
- Семинар №12 (02.12.2023)
- Семинар №11 (25.11.2023)
- Семинар №10 (18.11.2023)
- Семинар №9 (11.11.2023)
- Семинар №8 (02.12.2023)
Модуль 2
- Семинар №7 (21.10.2023)
- Семинар №6 (14.10.2023)
- Семинар №5 (07.10.2023)
- Семинар №4 (30.09.2023)
- Семинар №3 (23.09.2023)
- Семинар №2 (16.09.2023)
- Семинар №1 (08.09.2023)
Материал с семинаров 232-й группы:
Все материалы доступны в google classroom.
Домашние задания
ДЗ для 231-й группы:
Модуль 2
- ДЗ №11 (выдача: 25.11.23, дедлайн: 03.12.23)
- ДЗ №10 (выдача: 18.11.23, дедлайн: 26.11.23) (Доска с Семинар_10)
- ДЗ №9 (выдача: 11.11.23, дедлайн: 19.11.23) (Доска с Семинар_9)
Модуль 1
- ДЗ №7 (выдача: 21.10.23, дедлайн: 04.11.23) (Доска с Семинар_7)
- ДЗ №6 (выдача: 14.10.23, дедлайн: 22.10.23)
- ДЗ №5 (выдача: 07.10.23, дедлайн: 15.10.23) (Доска с Семинар_5)
- ДЗ №4 (выдача: 30.09.23, дедлайн: 08.10.23) (Доска с Семинар_4)
- ДЗ №3 (выдача: 23.09.23, дедлайн: 01.10.23) (Доска с Семинар_3)
- ДЗ №2 (выдача: 16.09.23, дедлайн: 24.09.23) (Доска с Семинар_2)
- ДЗ №1 (выдача: 08.09.23, дедлайн: 17.09.23) (Доска с Семинар_1)
Обязательные ДЗ для 232-й группы:
Информация по домашним заданиям доступна в google classroom. Сдача домашнего задания происходит в этой же системе. Срок выполнения домашнего задания — неделя после семинара.
Ведомость с оценками и Контроль посещаемости
| 231 | 232 |
|---|
Формы контроля и оценивание
Курс Дискретная Математика на КНАД читается в 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.
Пересдача самостоятельных работ не предусмотрена даже по уважительной причине. Если студент не смог сдать самостоятельную работу по уважительной причине, то ее оценка считается равной оценке студента за ближайший к этой СР коллоквиум или КР.
Без уважительной причины студент может сдать только одно ДЗ за семестр после дедлайна (оно оценивается без штрафа), это ДЗ нельзя сдавать в течение последней недели перед зимней сессией. В случае наличия уважительной причины ситуация с ДЗ решается индивидуально.
Контрольные Работы и Экзамены
Экзамен
ЭК пройдет 27.12.2022[СР] в формате Zoom конференции, начало в 11:10 [МСК] (но желательно подключиться к конференции в 11:05), ссылка на Zoom (или см. РУЗ):
https://us06web.zoom.us/j/83313705312?pwd=ZpTWOQnnRW5MzK6WQCZZgFZtWGuETa.1
Идентификатор конференции: 833 1370 5312
Код доступа: 997091
Правила проведения ЭК аналогичны правилам проведения КР:
На решение заданий ЭК будет отведено 120 мин. (продолжительность экзамена в РУЗ указана неверно!), на фотографирование/сканирование и выгрузку работ будет выделено отдельное время. В течение этого времени студенту запрещается пользоваться любыми записями (конспект лекций/семинаров, справочные таблицы, шпаргалки, ...) и любыми электронными устройствами (мобильными телефонами, часами, калькуляторами, наушниками, товарищем по несчастью...); решение заданий ЭК записывается студентом на бумаге (на планшете писать нельзя). После окончания этого времени будет выделено отдельное время для фотографирования/сканирования работы и выгрузке ее в Google форму, в течение этого отдельного времени студент не может вносить изменения в работу (но, разумеется, может пользоваться телефоном/сканером/компьютером).
Описание заданий и список задач для подготовки к ЭК можно посмотреть в этом файле. Если студенту нужен какой-то элементарный факт, прямо не относящийся к нашему курсу (например, формула для синуса тройного угла), то он может спросить этот факт у одного из преподавателей.
При написании ЭК студент обязан включить в Zoom камеру и демонстрацию рабочего стола, причем сильно желательно иметь две камеры: камеру телефона для обзора сбоку (т.е. камеру телефона, установленного так, что вас видно сбоку вместе с рабочим местом) и фронтальную камеру на компьютере (при несоблюдении этих условий студент не допускается к написанию ЭК). Вопросы, касающиеся технических проблем на стороне студента (отключение Интернет, зависание компьютера, кот, разорвавший работу,...), будут решаться в индивидуальном порядке.
Контрольная Работа
КР 1 пройдет 07.11.2023 в формате Zoom конференции, начало в 14:40 [МСК] (но желательно подключиться к конференции в 14:35), ссылка на Zoom конференцию:
https://us06web.zoom.us/j/81442514069?pwd=cfaV3ertSb2QIg2J31NwyVPPEdatmx.1
На решение заданий КР 1 будет отведено 100-110 мин. В течение этого времени студенту запрещается пользоваться любыми записями (конспект лекций/семинаров, справочные таблицы, шпаргалки, ...) и любыми электронными устройствами (мобильными телефонами, часами, калькуляторами, наушниками, товарищем по несчастью...); решение заданий КР 1 записывается студентом на бумаге (на планшете писать нельзя). После окончания этого времени будет выделено отдельное время для фотографирования/сканирования работы и выгрузке ее в Google форму, в течение этого отдельного времени студент не может вносить изменения в работу (но, разумеется, может пользоваться телефоном/сканером/компьютером).
Описание КР 1 можно посмотреть в этом файле. Если студенту нужен какой-то элементарный факт, прямо не относящийся к нашему курсу (например, формула для синуса тройного угла), то он может спросить этот факт у одного из преподавателей.
При написании КР 1 студент обязан включить в Zoom камеру и демонстрацию рабочего стола, причем сильно желательно иметь две камеры: камеру телефона для обзора сбоку (т.е. камеру телефона, установленного так, что вас видно сбоку вместе с рабочим местом) и фронтальную камеру на компьютере (при несоблюдении этих условий студент не допускается к написанию КР 1). Вопросы, касающиеся технических проблем на стороне студента (отключение Интернет, зависание компьютера, кот, разорвавший работу,...), будут решаться в индивидуальном порядке.
Коллоквиумы
Коллоквиум 2
Кол. 2 для 221-й группы запланирован на 19-е и 20-е декабря, для 222-й группы даты скоро должны быть определены (почти наверняка между 17-м и 20-м декабря) и пройдет в формате Zoom конференции.
Таблицу для записи высылает семинарист.
Правила проведения и структура Кол. 2 такие же, как и у Кол. 1 (см. ниже).
Список вопросов на привести определение / формулировку можно посмотреть в этом файле.
Список вопросов на привести доказательство можно посмотреть в этом файле.
Коллоквиум 1
Кол. 1 запланирован на 17.11.23[ПТ] и 18.11.23[СБ] и пройдет в формате Zoom конференции.
Чтобы попасть на Кол. 1, вам нужно сначала на него записаться. У каждой из двух групп будет своя таблица для записи, для того, чтобы записаться на Кол. 1, в соответствующей таблице студент должен будет выбрать свободный временной слот и вписать в него свои Фамилия Имя. Обращаем ваше внимание на то, что за день до начала Кол. 1 запись в таблицу будет закрыта.
Кол. 1 будет проходить следующем образом: в указанное в таблице время, студент подключается к Zoom конференции (ссылки будут предоставлены позже), получает билет, готовится (примерно) 30-40 мин., фотографирует/сканирует свою работу, отправляет работу преподавателю, отвечает на вопросы по работе и доп. вопросы.
В билете будет:
1) четыре вопроса на привести определение / формулировку. Список этих вопросов приведен в этом файле, каждый вопрос оценивается в 1 балл (за вопрос можно получить 0 или 0,5 или 1 балл).
2) один вопрос на привести доказательство. Список этих вопросов приведен в этом файле, этот вопрос оценивается в 4 балла (возможна оценка от 0 до 4 баллов с шагом 0,5 балла).
3) дополнительный вопрос(ы). Это может быть любой вопрос(ы), относящийся к курсу (например, не очень трудоемкая задача), но не доказательство из списка для второго вопроса. Этот вопрос(ы) оценивается в 2 балла (возможна оценка от 0 до 2 баллов с шагом 0,5 балла).
Во время подготовки студенту запрещается пользоваться любыми записями (конспект лекций/семинаров, справочные таблицы, шпаргалки, ...) и любыми электронными устройствами (мобильными телефонами, часами, калькуляторами, помощью лучшего друга,...). При сдачи Кол. 1 студент обязан включить в Zoom камеру и демонстрацию рабочего стола, причем рабочее место студента должно попадать в поле видимости камеры (в случает отсутствия камеры студент не допускается к сдачи Кол. 1). Вопросы, касающиеся технических проблем на стороне студента (отключение Интернет, зависание компьютера, кот, разорвавший работу,...), будут решаться в индивидуальном порядке.
