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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Практика)
(Практика)
Строка 60: Строка 60:
 
#[https://yadi.sk/i/-KSDrAEIVckLTQ Домашнее задание 12 Мая (Файл с подсказками)]'''В 3 задаче размер схемы должен быть не больше O(n^2)'''
 
#[https://yadi.sk/i/-KSDrAEIVckLTQ Домашнее задание 12 Мая (Файл с подсказками)]'''В 3 задаче размер схемы должен быть не больше O(n^2)'''
 
#[https://yadi.sk/i/RtOE2xkFA3HI-A Домашнее задание 19 Мая (Общее для всех)]
 
#[https://yadi.sk/i/RtOE2xkFA3HI-A Домашнее задание 19 Мая (Общее для всех)]
 
 
 
 
 
 
 
  
  

Версия 14:47, 21 мая 2020

Лекции

Итоговая оцненка = 0.15 ДЗ + 0.25 КР + 0.6 Экзамен.

ДЗ минимум надо набрать 0.55 -- оценка 4, 0.95 --- оценка 10. Меньше 0.55 - Блок. Экзамен тоже блок.

В связи с наличием удивительно похожих решений в первом дз. Первое ДЗ не фигурирует в сумме наборов баллов.

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

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

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

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

  • Почта для домашек и вопросов: lyyn+dm2020@dismail.de
  • XMPP (OMEMO работает): lyyn@dismail.de

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

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

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