Математическая логика 5SE весна 2018 — различия между версиями
Материал из SEWiki
(Новая страница: «Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''') == Лекции == == Практика ==») |
Moskvin (обсуждение | вклад) (→Лекции) |
||
| (не показаны 24 промежуточные версии 3 участников) | |||
| Строка 1: | Строка 1: | ||
| + | == Лекции == | ||
Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''') | Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''') | ||
| − | + | [[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]] | |
| + | |||
| + | [[Медиа:Mlc02_2018.pdf|Лекция 2. Полные системы связок]] | ||
| + | |||
| + | [[Медиа:Mlc03_2018.pdf|Лекция 3. Исчисление высказываний гильбертовского типа]] | ||
| + | |||
| + | [[Медиа:Mlc04_2018.pdf|Лекция 4. Исчисление высказываний генценовского типа]] | ||
| + | |||
| + | [[Медиа:Mlc05_2018.pdf|Лекция 5. Интуиционистское исчисление высказываний]] | ||
| + | |||
| + | [[Медиа:Mlc06_2018.pdf|Лекция 6. Логика предикатов первого порядка]] | ||
| + | |||
| + | [[Медиа:Mlc07_2017.pdf|Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)]] | ||
| + | |||
| + | [[Медиа:Mlc08_2018.pdf|Лекция 8. Исчисление предикатов гильбертовского типа]] | ||
| + | |||
| + | [[Медиа:Mlc09_2018.pdf|Лекция 9. Теорема Гёделя о полноте исчисления предикатов]] | ||
| + | |||
| + | [[Медиа:Mlc10_2018.pdf|Лекция 10. Секвенциальное исчисление предикатов]] | ||
| + | |||
| + | [[Медиа:Mlc11_2018.pdf|Лекция 11. Вычислимость, разрешимость, перечислимость]] | ||
== Практика == | == Практика == | ||
| + | |||
| + | Жаворонков Эдгар: [mailto:edzhavoronkov+au-logic-spring2018@gmail.com почта] / [https://t.me/EdgarZhavoronkov telegram] | ||
| + | |||
| + | '''[https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Таблица результатов]''' | ||
| + | |||
| + | === Материалы с занятий и домашние задания: === | ||
| + | |||
| + | * [[Медиа:Logic01.pdf|Задание 1]] ([[Медиа:Logic01.zip|tex]]) до '''20.03.2018 23:59''' (мягкий) | ||
| + | * [[Медиа:Logic02.pdf|Задание 2]] ([[Медиа:Logic02.zip|tex]]) до '''03.04.2018 23:59''' (мягкий) | ||
| + | * [[Медиа:Logic03.pdf|Задание 3]] ([[Медиа:Logic03.zip|tex]]) до '''18.04.2018 23:59''' (мягкий) | ||
| + | * [[Медиа:Logic04.pdf|Задание 4]] ([[Медиа:Logic04.zip|tex]]) до '''09.05.2018 23:59''' (мягкий) | ||
| + | * [[Медиа:Logic05.pdf|Задание 5]] ([[Медиа:Logic05.zip|tex]]) до '''16.05.2018 23:59''' (мягкий) | ||
| + | * [[Медиа:Logic06.pdf|Задание 6]] ([[Медиа:Logic06.zip|tex]]) до '''30.05.2018 23:59''' (мягкий) | ||
| + | |||
| + | === Правила игры === | ||
| + | ==== Сдача домашних заданий ==== | ||
| + | |||
| + | * На почту с указанием темы (без неё игнорируются) | ||
| + | * В виде PDF-файлов (желательно из LaTeX'a) | ||
| + | |||
| + | ==== Дедлайны ==== | ||
| + | |||
| + | * До мягкого дедлайна — можно отправлять исправления, постараюсь ответить | ||
| + | * После мягкого дедлайна — проверка один раз; не уверен, что буду принимать исправления | ||
| + | * После жёсткого дедлайна — не оцениваются | ||
| + | |||
| + | ==== Зачет ==== | ||
| + | |||
| + | * Сдать все домашние задания, набрав не менее 80% от общей суммы баллов | ||
Текущая версия на 20:48, 23 мая 2018
Содержание
Лекции
Преподаватель: Москвин Денис Николаевич (dmoskvin@gmail.com)
Лекция 2. Полные системы связок
Лекция 3. Исчисление высказываний гильбертовского типа
Лекция 4. Исчисление высказываний генценовского типа
Лекция 5. Интуиционистское исчисление высказываний
Лекция 6. Логика предикатов первого порядка
Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)
Лекция 8. Исчисление предикатов гильбертовского типа
Лекция 9. Теорема Гёделя о полноте исчисления предикатов
Лекция 10. Секвенциальное исчисление предикатов
Лекция 11. Вычислимость, разрешимость, перечислимость
Практика
Жаворонков Эдгар: почта / telegram
Материалы с занятий и домашние задания:
- Задание 1 (tex) до 20.03.2018 23:59 (мягкий)
- Задание 2 (tex) до 03.04.2018 23:59 (мягкий)
- Задание 3 (tex) до 18.04.2018 23:59 (мягкий)
- Задание 4 (tex) до 09.05.2018 23:59 (мягкий)
- Задание 5 (tex) до 16.05.2018 23:59 (мягкий)
- Задание 6 (tex) до 30.05.2018 23:59 (мягкий)
Правила игры
Сдача домашних заданий
- На почту с указанием темы (без неё игнорируются)
- В виде PDF-файлов (желательно из LaTeX'a)
Дедлайны
- До мягкого дедлайна — можно отправлять исправления, постараюсь ответить
- После мягкого дедлайна — проверка один раз; не уверен, что буду принимать исправления
- После жёсткого дедлайна — не оцениваются
Зачет
- Сдать все домашние задания, набрав не менее 80% от общей суммы баллов
