Математическая логика 1MIT весна 2021 — различия между версиями

Материал из CSC Wiki
Перейти к:навигация, поиск
(Лекции)
(Лекции)
Строка 10: Строка 10:
 
Материал покрыт 8 главой книги "Лекции по дискретной математике". + Раздел 1.8 книги Начала теории множеств.
 
Материал покрыт 8 главой книги "Лекции по дискретной математике". + Раздел 1.8 книги Начала теории множеств.
  
[https://yadi.sk/i/Cit_yx8r_9qIOg 21 апреля Лекция 3, "Упорядоченные множества."]
+
[https://yadi.sk/i/Cit_yx8r_9qIOg 27 апреля Лекция 3, "Упорядоченные множества."]
 
Материал покрывается разделами 2.1-2.3 книги "Начала теории множеств". Замечание:  теоремы Дилуорса в этом году по сравнению с прошлым нет, но есть определение фундированного множества.
 
Материал покрывается разделами 2.1-2.3 книги "Начала теории множеств". Замечание:  теоремы Дилуорса в этом году по сравнению с прошлым нет, но есть определение фундированного множества.
  
[https://yadi.sk/i/yt948Tx6-CX71A 28 апреля Лекция 4, "Высказывания. Системы логических связок."]
+
[https://yadi.sk/i/yt948Tx6-CX71A 11 мая Лекция 4, "Высказывания. Системы логических связок."]
 
Материал покрывается разделами 1.1-1.2 книги "Языки и исчисления". (Доказать теорему Поста не успели)
 
Материал покрывается разделами 1.1-1.2 книги "Языки и исчисления". (Доказать теорему Поста не успели)
  

Версия 23:14, 31 мая 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 Мая (Условия)