Математическая логика на Python 25 — различия между версиями
Ekononova (обсуждение | вклад) (Новая страница: «шаблон») |
Ekononova (обсуждение | вклад) (Основные данные по курсу) |
||
| Строка 1: | Строка 1: | ||
| − | + | === Объявления === | |
| + | * Дэдлайн по 1 домашнему заданию - 31.01.25. | ||
| + | |||
| + | |||
| + | |||
| + | == Введение == | ||
| + | Этот курс --- попытка представить математическую логику через призму программирования на Python. Такой подход, позваляет студентам использовать интуицию и опыт программированя для изучения логики и, будем надеятся, сделает логику более доступной и наглядной. Практическая работа с кодом позволяет глубже понять концепции математической логики и увидеть работу этих концепций в реальных программах. | ||
| + | |||
| + | === Описание курса === | ||
| + | Курс включает пропозициональную логику и логику первого порядка. При этом планируется логику планируется изложить на уровне полноценного курса по математической логики со всеми важными теоремами и доказательствами. В качестве литературы можно использовать [https://old.mccme.ru//free-books//shen/shen-logic-part2-5ed.pdf Н. К. Верещагин, А. Шень. Часть 2. Языки и исчисления. 5-е изд., М.: МЦНМО, 2017]. | ||
| + | |||
| + | С другой стороны будет уделено много внимание тому как реализовать все формальные конструкции на языке Python и тут мы будем в основном следовать материалам на сайте https://www.logicthrupython.org/ | ||
| + | Вместо решения обычных задач на семинарах мы будем писать программы, которые реализуют используемые в курсе конструкции. Имеются шаблоны программ, в которых недописаны некоторые куски кода, которые студенты должны дописать, чтобы в результате получилась работающая программа. В шаблонах имеются тесты, которые позволяют проверить работоспособность. | ||
| + | |||
| + | === Формула оценки === | ||
| + | |||
| + | В формуле участвуют: | ||
| + | '''ДЗ''' --- доля пройденных тестов в заданиях на Python умноженная на 10. | ||
| + | '''Колл''' --- оценка за коллоквиум, который пройдет после 3 модуля во время сессии (по 10 бальной шкале). | ||
| + | '''Экз''' --- оценка за экзамен (по 10 бальной шкале) | ||
| + | |||
| + | Автомат будет выставлятся при условии, что MIN('''ДЗ''', '''Колл''') >= 8. В этом случае итоговая оценка будет равна (2*'''ДЗ'''+'''Колл''')/3, с округлением к ближайшему целому числу. | ||
| + | |||
| + | '''Итоговая оценка''' = 0.5 '''ДЗ''' + 0.25 '''Колл''' + 0.25 '''Экз''' | ||
Версия 04:53, 23 января 2025
Содержание
[убрать]Объявления
- Дэдлайн по 1 домашнему заданию - 31.01.25.
Введение
Этот курс --- попытка представить математическую логику через призму программирования на Python. Такой подход, позваляет студентам использовать интуицию и опыт программированя для изучения логики и, будем надеятся, сделает логику более доступной и наглядной. Практическая работа с кодом позволяет глубже понять концепции математической логики и увидеть работу этих концепций в реальных программах.
Описание курса
Курс включает пропозициональную логику и логику первого порядка. При этом планируется логику планируется изложить на уровне полноценного курса по математической логики со всеми важными теоремами и доказательствами. В качестве литературы можно использовать Н. К. Верещагин, А. Шень. Часть 2. Языки и исчисления. 5-е изд., М.: МЦНМО, 2017.
С другой стороны будет уделено много внимание тому как реализовать все формальные конструкции на языке Python и тут мы будем в основном следовать материалам на сайте https://www.logicthrupython.org/ Вместо решения обычных задач на семинарах мы будем писать программы, которые реализуют используемые в курсе конструкции. Имеются шаблоны программ, в которых недописаны некоторые куски кода, которые студенты должны дописать, чтобы в результате получилась работающая программа. В шаблонах имеются тесты, которые позволяют проверить работоспособность.
Формула оценки
В формуле участвуют: ДЗ --- доля пройденных тестов в заданиях на Python умноженная на 10. Колл --- оценка за коллоквиум, который пройдет после 3 модуля во время сессии (по 10 бальной шкале). Экз --- оценка за экзамен (по 10 бальной шкале)
Автомат будет выставлятся при условии, что MIN(ДЗ, Колл) >= 8. В этом случае итоговая оценка будет равна (2*ДЗ+Колл)/3, с округлением к ближайшему целому числу.
Итоговая оценка = 0.5 ДЗ + 0.25 Колл + 0.25 Экз
