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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Лекции)
(Лекции)
 
(не показано 10 промежуточных версий 4 участников)
Строка 1: Строка 1:
=Лекции=
+
= Оценка =
 +
* Итоговая оценка = 0.15 * ДЗ + 0.25 * КР + 0.6 * Экзамен.
 +
** Если итоговая оценка меньше 4, результат не округляется и ставится итоговая оценка 0.
 +
** В остальных случаях округление как обычно: к ближайшему, .5 вверх.
 +
** Результаты домашки не округляются.
 +
** Если не набран минимальный балл по ДЗ (0.55), из итогового балла '''после округления''' вычитается 1.
 +
* ДЗ:
 +
** Меньше 0.55 — оценка 0/10.
 +
** 0.55 — минимум, оценка 4/10.
 +
** 0.95 и выше — оценка 10/10.
 +
** Между 0.55 и 0.95 — линейно от 4/10 до 10/10. Без округлений, округления в конце.
 +
* Блоки:
 +
** Их нет.
  
Итоговая оцненка = 0.15 ДЗ + 0.25 КР + 0.6 Экзамен.
+
В связи с наличием удивительно похожих решений в первом дз первое ДЗ не фигурирует в сумме наборов баллов.
  
ДЗ минимум надо набрать 0.55 -- оценка 4, 0.95 --- оценка 10. Меньше 0.55 - Блок. Экзамен тоже блок.
+
== Списывание ==
  
В связи с наличием удивительно похожих решений в первом дз. Первое ДЗ не фигурирует в сумме наборов баллов.
+
'''Сданная домашняя работа должна быть выполнена исключительно Вами.''' Любые обсуждения следует отложить, пока вы не сдадите свое дз на окончательную проверку.  
  
'''Сданная домашняя работа должна быть выполнена исключительно Вами.''' Любые обсуждения следует отложить, пока вы не сдадите свое дз на окончательную проверку.
+
'''Решения найденные в интернете тоже считаются списанными.'''
  
'''Решения найденные в интернете тоже считаются списанными.
+
=Лекции=
'''
 
  
 
[https://yadi.sk/d/sLcur2F4CP22Bw 7 апреля Лекция 1, "Равномощные множества."]
 
[https://yadi.sk/d/sLcur2F4CP22Bw 7 апреля Лекция 1, "Равномощные множества."]
Строка 27: Строка 38:
 
Материал покрывается разделом 1.3 книги "Языки и исчисления".
 
Материал покрывается разделом 1.3 книги "Языки и исчисления".
  
[https://1drv.ms/u/s!AjnhO5p3grHNg8kULd89FpV1v2VNqA?e=HHMtuK 19 мая Лекция 6, "Исчисление высказываний"]
+
[https://onedrive.live.com/View.aspx?resid=CDB182779A3BE139!58516&wd=target(Lectures.one%7C7d7bb32e-1d35-44c3-91f6-148b7309f4f6/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%206%20%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0%20%D0%B2%D1%8B%D1%81%D0%BA%D0%B0%D0%B7%D1%8B%D0%B2%D0%B0%D0%BD%D0%B8%D0%B9%7C9d3ea001-0cf1-449f-9570-4671f21f86ac/)&authkey=!Aj-a6v07g1UmMiA 19 мая Лекция 6, "Исчисление высказываний"]
 
Материал покрывается разделом 2.1 книги "Языки и исчисления".
 
Материал покрывается разделом 2.1 книги "Языки и исчисления".
  
 
+
[https://yadi.sk/d/6pFsETKwUeggYA 26 мая Лекция 7, "Исчисление высказываний"]
В следующих сериях:
+
Материал почти покрывается разделом 2.2 книги "Языки и исчисления".
  
  
19 мая -... Исчисление высказываний. (материал покрывается книгой "Языки и исчисления")
+
[https://yadi.sk/i/ldQrIgCfCdkENw '''СПИСОК ВОПРОСОВ''']
  
  
Строка 69: Строка 80:
 
[https://yadi.sk/i/s3vMEKsPcadMng Практика 5]
 
[https://yadi.sk/i/s3vMEKsPcadMng Практика 5]
 
[https://yadi.sk/i/MXIRNLTOFaZGsg Практика 6]
 
[https://yadi.sk/i/MXIRNLTOFaZGsg Практика 6]
 +
[https://yadi.sk/i/AUPtdUeXZ4PANw Практика 7]
  
 
==Вторая группа (Нефедов)==
 
==Вторая группа (Нефедов)==
 
*Почта для домашек и вопросов: [mailto:lyyn+dm2020@dismail.de lyyn+dm2020@dismail.de]
 
*Почта для домашек и вопросов: [mailto:lyyn+dm2020@dismail.de lyyn+dm2020@dismail.de]
 
*XMPP (OMEMO работает): lyyn@dismail.de
 
*XMPP (OMEMO работает): lyyn@dismail.de
 +
*Результаты проверки домашек: [[Файл:МатЛогика2020_2группа_домашки.zip]]
  
 
==Третья группа (Мосин)==
 
==Третья группа (Мосин)==

Текущая версия на 18:40, 9 июня 2020

Оценка

  • Итоговая оценка = 0.15 * ДЗ + 0.25 * КР + 0.6 * Экзамен.
    • Если итоговая оценка меньше 4, результат не округляется и ставится итоговая оценка 0.
    • В остальных случаях округление как обычно: к ближайшему, .5 вверх.
    • Результаты домашки не округляются.
    • Если не набран минимальный балл по ДЗ (0.55), из итогового балла после округления вычитается 1.
  • ДЗ:
    • Меньше 0.55 — оценка 0/10.
    • 0.55 — минимум, оценка 4/10.
    • 0.95 и выше — оценка 10/10.
    • Между 0.55 и 0.95 — линейно от 4/10 до 10/10. Без округлений, округления в конце.
  • Блоки:
    • Их нет.

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

Списывание

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

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

Лекции

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 книги "Языки и исчисления".

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


СПИСОК ВОПРОСОВ


Литература

Содержание всего в основном будет покрываться следующими книгами

  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 Практика 7

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

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

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

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