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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Лекции)
(Лекции)
 
(не показаны 2 промежуточные версии этого же участника)
Строка 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 книги "Языки и исчисления". (Доказать теорему Поста не успели)
  
Строка 21: Строка 21:
 
25 мая Лекция 6, "Исчисление высказываний."
 
25 мая Лекция 6, "Исчисление высказываний."
 
Материал покрывается разделом 2.1 книги "Языки и исчисления".
 
Материал покрывается разделом 2.1 книги "Языки и исчисления".
 +
 +
01 июня Лекция 7, "Теорема о корректности и полноте исчисления высказываний."
 +
Материал покрывается разделом 2.1 книги "Языки и исчисления".
 +
 +
08 июня Лекция 8, "Теорема о корректности и полноте исчисления высказываний (2-я форма). Теорема о компактности. Интуиционистская логика"
 +
Материал покрывается разделом 2.2 и 2.4 книги "Языки и исчисления".
  
  
Строка 61: Строка 67:
 
#[https://disk.yandex.ru/i/uZBh5NXykQAQwQ Практика 27 Апреля (Условия)]
 
#[https://disk.yandex.ru/i/uZBh5NXykQAQwQ Практика 27 Апреля (Условия)]
 
#[https://disk.yandex.ru/i/CrtJkzh_eRBSsQ Практика 11 Мая (Условия)]
 
#[https://disk.yandex.ru/i/CrtJkzh_eRBSsQ Практика 11 Мая (Условия)]
 +
#[https://disk.yandex.ru/i/N4TabuGWbEEB8Q Практика 18 Мая (Условия)]
 +
#[https://disk.yandex.ru/i/cBPTpQEe79i5CQ Практика 25 Мая (Условия)]
 +
#[Контрольная работа 1 июня]
 +
#[https://disk.yandex.ru/i/rL4t8xm7qyuHHA Практика 08 Июня (Условия)]
 +
 +
 +
 +
==Вопросы к экзамену==
 +
#[https://disk.yandex.ru/i/xhIesuUHn44UzQ Вопросы]

Текущая версия на 15:50, 8 июня 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 книги "Языки и исчисления".

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

08 июня Лекция 8, "Теорема о корректности и полноте исчисления высказываний (2-я форма). Теорема о компактности. Интуиционистская логика" Материал покрывается разделом 2.2 и 2.4 книги "Языки и исчисления".


Списывание

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

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

Оценка

  • Итоговая оценка = 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. Вопросы