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

Лекции

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

Мультфильм.

20 апреля Лекция 2, "Теорема Кантора. Теорема Кантора-Бернщтейна." (по ссылке конспект прошлого года) Материал покрыт 8 главой книги "Лекции по дискретной математике". + Раздел 1.8 книги Начала теории множеств.

27 апреля Лекция 3, "Упорядоченные множества." Материал покрывается разделами 2.1-2.3 книги "Начала теории множеств". Замечание: теоремы Дилуорса в этом году по сравнению с прошлым нет, но есть определение фундированного множества.

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

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

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

Списывание

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

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

Оценка

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

Литература

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

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

Практика

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

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

1. Практика 13 Апреля (Разбор)
2. Практика 13 Апреля (Видео разбор)
3. Практика 20 Апреля (Разбор)
4. Практика 27 Апреля (Условия)
5. Практика 11 Мая (Условия)
6. Практика 18 Мая (Условия)
7. Практика 25 Мая (Условия)
8. [Контрольная работа 1 июня]
9. Практика 08 Июня (Условия)

Вопросы к экзамену

1. Вопросы