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

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

Оценка

  • Итоговая оценка = 0.15 * ДЗ + 0.25 * КР + 0.6 * Экзамен.
    • Округление как обычно: к ближайшему, .5 вверх.
  • ДЗ:
    • Меньше 0.55 — надо что-то дополнительно делать, обсудите с преподавателем
    • 0.55 — минимум, оценка 4/10.
    • 0.95 и выше — оценка 10/10.
    • Между 0.55 и 0.95 — линейно от 4/10 до 10/10. Без округлений, округления в конце.
  • Блоки:
    • ДЗ, надо хотя бы 0.55, т.е. оценку 4/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 книги "Языки и исчисления".


В следующих сериях:


19 мая -... Исчисление высказываний. (материал покрывается книгой "Языки и исчисления")


Литература

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

  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

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

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

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

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