Математическая логика 5SE весна 2018 — различия между версиями
(→Материалы с занятий и домашние задания:) |
Moskvin (обсуждение | вклад) (→Лекции) |
||
| Строка 15: | Строка 15: | ||
[[Медиа:Mlc07_2017.pdf|Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)]] | [[Медиа:Mlc07_2017.pdf|Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)]] | ||
| + | |||
| + | [[Медиа:Mlc08_2018.pdf|Лекция 8. Исчисление предикатов гильбертовского типа]] | ||
== Практика == | == Практика == | ||
Версия 19:59, 11 апреля 2018
Содержание
Лекции
Преподаватель: Москвин Денис Николаевич (dmoskvin@gmail.com)
Лекция 2. Полные системы связок
Лекция 3. Исчисление высказываний гильбертовского типа
Лекция 4. Исчисление высказываний генценовского типа
Лекция 5. Интуиционистское исчисление высказываний
Лекция 6. Логика предикатов первого порядка
Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)
Лекция 8. Исчисление предикатов гильбертовского типа
Практика
Преподаватель: Жаворонков Эдгар
Контакты:
Материалы с занятий и домашние задания:
- Листок с занятия и домашнее задание 1(tex)(Дедлайн(мягкий): 20.03.2018 23:59)
- Листок с занятия и домашнее задание 2(tex)(Дедлайн(мягкий): 03.04.2018 23:59)
- Листок с занятия и домашнее задание 3(tex)(Дедлайн(мягкий): 18.04.2018 23:59)
Правила игры
Сдача домашних заданий
Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары.
Дедлайны
На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.
Зачет
Критериев получения зачета ровно один:
- Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов
