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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Лекции)
 
(не показано 11 промежуточных версий 2 участников)
Строка 9: Строка 9:
 
[https://disk.yandex.ru/i/6UIHSg1lmAzYjQ 20 апреля Лекция 2, "Теорема Кантора. Теорема Кантора-Бернщтейна." (по ссылке конспект прошлого года)]
 
[https://disk.yandex.ru/i/6UIHSg1lmAzYjQ 20 апреля Лекция 2, "Теорема Кантора. Теорема Кантора-Бернщтейна." (по ссылке конспект прошлого года)]
 
Материал покрыт 8 главой книги "Лекции по дискретной математике". + Раздел 1.8 книги Начала теории множеств.
 
Материал покрыт 8 главой книги "Лекции по дискретной математике". + Раздел 1.8 книги Начала теории множеств.
 +
 +
[https://yadi.sk/i/Cit_yx8r_9qIOg 27 апреля Лекция 3, "Упорядоченные множества."]
 +
Материал покрывается разделами 2.1-2.3 книги "Начала теории множеств". Замечание:  теоремы Дилуорса в этом году по сравнению с прошлым нет, но есть определение фундированного множества.
 +
 +
[https://yadi.sk/i/yt948Tx6-CX71A 11 мая Лекция 4, "Высказывания. Системы логических связок."]
 +
Материал покрывается разделами 1.1-1.2 книги "Языки и исчисления". (Доказать теорему Поста не успели)
 +
 +
[https://yadi.sk/i/6s5pPfRcXRMgbw 18 мая Лекция 5, "Теорема Поста. Схемы."]
 +
Материал покрывается разделом 1.3 книги "Языки и исчисления". Теорема Поста в разделе 1.2 книги "Языки и исчисления".
 +
 +
25 мая Лекция 6, "Исчисление высказываний."
 +
Материал покрывается разделом 2.1 книги "Языки и исчисления".
 +
 +
01 июня Лекция 7, "Теорема о корректности и полноте исчисления высказываний."
 +
Материал покрывается разделом 2.1 книги "Языки и исчисления".
 +
 +
08 июня Лекция 8, "Теорема о корректности и полноте исчисления высказываний (2-я форма). Теорема о компактности. Интуиционистская логика"
 +
Материал покрывается разделом 2.2 и 2.4 книги "Языки и исчисления".
 +
  
 
== Списывание ==
 
== Списывание ==
Строка 15: Строка 34:
  
 
'''Решения найденные в интернете тоже считаются списанными.'''
 
'''Решения найденные в интернете тоже считаются списанными.'''
 
  
 
==Оценка==
 
==Оценка==
Строка 27: Строка 45:
 
** Между 0.55 и 0.95 — линейно от 4/10 до 10/10. Без округлений, округления в конце.
 
** Между 0.55 и 0.95 — линейно от 4/10 до 10/10. Без округлений, округления в конце.
 
*Кр
 
*Кр
** Если написано ниже приемлемого значения, ставится 0, то есть написав на 3, вам могут поставить 0 за КР.
+
** Если написано ниже приемлемого значения, ставится 0, то есть, если вы написали на 3, вам могут поставить 0 за КР.
 
* Блоки:
 
* Блоки:
** Экзамен.
+
** Экзамен
 
 
  
 
==Литература==
 
==Литература==
Строка 48: Строка 65:
 
#[https://www.youtube.com/playlist?list=PLVb9DFE_wJBjzwIK14MmKZh1lRnWWvi3D Практика 13 Апреля (Видео разбор)]
 
#[https://www.youtube.com/playlist?list=PLVb9DFE_wJBjzwIK14MmKZh1lRnWWvi3D Практика 13 Апреля (Видео разбор)]
 
#[https://yadi.sk/i/9DztUKhHrRqTBQ Практика 20 Апреля (Разбор)]
 
#[https://yadi.sk/i/9DztUKhHrRqTBQ Практика 20 Апреля (Разбор)]
 +
#[https://disk.yandex.ru/i/uZBh5NXykQAQwQ Практика 27 Апреля (Условия)]
 +
#[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. Вопросы