Математическая Логика 1MIT весна 1 2020 — различия между версиями
Bliznets (обсуждение | вклад) (→Первая группа (Близнец)) |
Bliznets (обсуждение | вклад) (→Практика) |
||
(не показана 1 промежуточная версия этого же участника) | |||
Строка 58: | Строка 58: | ||
#[https://yadi.sk/i/vnHCRwcOYzrdNw Домашнее задание 21 Апреля (Общее для всех)] | #[https://yadi.sk/i/vnHCRwcOYzrdNw Домашнее задание 21 Апреля (Общее для всех)] | ||
#[https://yadi.sk/i/e0HC7aLj8k_ajQ Домашнее задание 28 Апреля (Общее для всех), крайний срок сдачи 12 мая.] | #[https://yadi.sk/i/e0HC7aLj8k_ajQ Домашнее задание 28 Апреля (Общее для всех), крайний срок сдачи 12 мая.] | ||
− | #[https://yadi.sk/i/ | + | #[https://yadi.sk/i/-KSDrAEIVckLTQ Домашнее задание 12 Мая (Файл с подсказками)]'''В 3 задаче размер схемы должен быть не больше O(n^2)''' |
− | '''В 3 задаче размер схемы должен быть не больше O(n^2)''' | + | #[https://yadi.sk/i/RtOE2xkFA3HI-A Домашнее задание 19 Мая (Общее для всех)] |
− | [https://yadi.sk/i/- | ||
− | |||
Версия 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 мая -... Исчисление высказываний. (материал покрывается книгой "Языки и исчисления")
Литература
Содержание всего в основном будет покрываться следующими книгами
Практика
Сданная домашняя работа должна быть выполнена исключительно Вами.
Решения найденные в интернете тоже считаются списанными.
- Практика 7 Апреля (Разбор)
- Домашнее задание 7 Апреля (Общее для всех)
- Практика 14 Апреля (Разбор)
- Домашнее задание 14 Апреля (Общее для всех) В задаче 6 ваш пример должен удовлетворять обоим пунктам (а) и (б) либо вы должны показать, что выполнить эти пункты одновременно нельзя.
- Домашнее задание 21 Апреля (Общее для всех)
- Домашнее задание 28 Апреля (Общее для всех), крайний срок сдачи 12 мая.
- Домашнее задание 12 Мая (Файл с подсказками)В 3 задаче размер схемы должен быть не больше O(n^2)
- Домашнее задание 19 Мая (Общее для всех)
Первая группа (Близнец)
- Почта для домашек ivanbliznets@yandex.ru, для вопросов iabliznets@gmail.com.
Практика 3 Практика 4 Практика 5 Практика 6
Вторая группа (Нефедов)
- Почта для домашек и вопросов: lyyn+dm2020@dismail.de
- XMPP (OMEMO работает): lyyn@dismail.de
Третья группа (Мосин)
- Почта для домашек и вопросов: vmos1999@gmail.com
Четвёртая группа (Алфёров)
- Почта для домашек: vasily.v.alferov@gmail.com
- Телега для телег: vasiliyalferov
Задачи с практических занятий:
- Практика 21 апреля: Файл:DMML-2020-4-Ex3.pdf