Математическая Логика 1MIT весна 1 2020

Материал из CSC Wiki
Перейти к:навигация, поиск

Оценка

  • Итоговая оценка = 0.15 * ДЗ + 0.25 * КР + 0.6 * Экзамен.
    • Если итоговая оценка меньше 4, результат не округляется и ставится итоговая оценка 0.
    • В остальных случаях округление как обычно: к ближайшему, .5 вверх.
    • Результаты домашки не округляются.
    • Если не набран минимальный балл по ДЗ (0.55), из итогового балла после округления вычитается 1.
  • ДЗ:
    • Меньше 0.55 — оценка 0/10.
    • 0.55 — минимум, оценка 4/10.
    • 0.95 и выше — оценка 10/10.
    • Между 0.55 и 0.95 — линейно от 4/10 до 10/10. Без округлений, округления в конце.
  • Блоки:
    • Их нет.

В связи с наличием удивительно похожих решений в первом дз первое ДЗ не фигурирует в сумме наборов баллов.

Списывание

Сданная домашняя работа должна быть выполнена исключительно Вами. Любые обсуждения следует отложить, пока вы не сдадите свое дз на окончательную проверку.

Решения найденные в интернете тоже считаются списанными.

Лекции

7 апреля Лекция 1, "Равномощные множества." Материал покрыт 8 главой книги "Лекции по дискретной математике".

14 апреля Лекция 2, "Равномощные множества II." Материал покрыт 8 главой книги "Лекции по дискретной математике". + Раздел 1.8 книги Начала теории множеств.

21 апреля Лекция 3, "Упорядоченные множества." Материал покрывается разделами 2.1-2.2 книги "Начала теории множеств" + теорема Дилуорса из 9 главы книги "Лекции по дискретной математике".

28 апреля Лекция 4, "Высказывания. Системы логических связок." Материал покрывается разделами 1.1-1.2 книги "Языки и исчисления".

12 мая Лекция 5, "Схемы." Материал покрывается разделом 1.3 книги "Языки и исчисления".

19 мая Лекция 6, "Исчисление высказываний" Материал покрывается разделом 2.1 книги "Языки и исчисления".

26 мая Лекция 7, "Исчисление высказываний" Материал почти покрывается разделом 2.2 книги "Языки и исчисления".


СПИСОК ВОПРОСОВ


Литература

Содержание всего в основном будет покрываться следующими книгами

  1. Лекции по дискретной математике
  2. Начала теории множеств
  3. Языки и исчисления

Практика

Результаты

Сданная домашняя работа должна быть выполнена исключительно Вами.

Решения найденные в интернете тоже считаются списанными.

  1. Практика 7 Апреля (Разбор)
  2. Домашнее задание 7 Апреля (Общее для всех)
  3. Практика 14 Апреля (Разбор)
  4. Домашнее задание 14 Апреля (Общее для всех) В задаче 6 ваш пример должен удовлетворять обоим пунктам (а) и (б) либо вы должны показать, что выполнить эти пункты одновременно нельзя.
  5. Домашнее задание 21 Апреля (Общее для всех)
  6. Домашнее задание 28 Апреля (Общее для всех), крайний срок сдачи 12 мая.
  7. Домашнее задание 12 Мая (Файл с подсказками)В 3 задаче размер схемы должен быть не больше O(n^2)
  8. Домашнее задание 19 Мая (Общее для всех)


Первая группа (Близнец)

Практика 3 Практика 4 Практика 5 Практика 6 Практика 7

Вторая группа (Нефедов)

Третья группа (Мосин)

Четвёртая группа (Алфёров)

Задачи с практических занятий: