Математическая логика 5SE весна 2018 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(Лекции)
 
(не показано 15 промежуточных версий 3 участников)
Строка 10: Строка 10:
 
[[Медиа:Mlc04_2018.pdf|Лекция 4. Исчисление высказываний генценовского типа]]
 
[[Медиа:Mlc04_2018.pdf|Лекция 4. Исчисление высказываний генценовского типа]]
  
 +
[[Медиа:Mlc05_2018.pdf|Лекция 5. Интуиционистское исчисление высказываний]]
  
== Практика ==
+
[[Медиа:Mlc06_2018.pdf|Лекция 6. Логика предикатов первого порядка]]
  
Преподаватель: Жаворонков Эдгар
+
[[Медиа:Mlc07_2017.pdf|Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)]]
  
[https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]
+
[[Медиа: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]
  
* [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]
+
'''[https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Таблица результатов]'''
* [https://t.me/EdgarZhavoronkov Telegram]
+
  
 
=== Материалы с занятий и домашние задания: ===
 
=== Материалы с занятий и домашние задания: ===
  
* [[Медиа:Logic01.pdf|Листок с занятия и домашнее задание 1]] ('''Дедлайн(мягкий): 20.03.2018 23:59''')
+
* [[Медиа: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-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары. 
+
* На почту с указанием темы (без неё игнорируются)
 +
* В виде PDF-файлов (желательно из LaTeX'a)
  
 
==== Дедлайны ====
 
==== Дедлайны ====
  
На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.
+
* До мягкого дедлайна — можно отправлять исправления, постараюсь ответить
 +
* После мягкого дедлайна — проверка один раз; не уверен, что буду принимать исправления
 +
* После жёсткого дедлайна не оцениваются
  
 
==== Зачет ====
 
==== Зачет ====
  
Критериев получения зачета ровно один:
+
* Сдать все домашние задания, набрав не менее 80% от общей суммы баллов
* Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов
+

Текущая версия на 20:48, 23 мая 2018

Лекции

Преподаватель: Москвин Денис Николаевич (dmoskvin@gmail.com)

Лекция 1. Логика высказываний

Лекция 2. Полные системы связок

Лекция 3. Исчисление высказываний гильбертовского типа

Лекция 4. Исчисление высказываний генценовского типа

Лекция 5. Интуиционистское исчисление высказываний

Лекция 6. Логика предикатов первого порядка

Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)

Лекция 8. Исчисление предикатов гильбертовского типа

Лекция 9. Теорема Гёделя о полноте исчисления предикатов

Лекция 10. Секвенциальное исчисление предикатов

Лекция 11. Вычислимость, разрешимость, перечислимость

Практика

Жаворонков Эдгар: почта / telegram

Таблица результатов

Материалы с занятий и домашние задания:

Правила игры

Сдача домашних заданий

  • На почту с указанием темы (без неё игнорируются)
  • В виде PDF-файлов (желательно из LaTeX'a)

Дедлайны

  • До мягкого дедлайна — можно отправлять исправления, постараюсь ответить
  • После мягкого дедлайна — проверка один раз; не уверен, что буду принимать исправления
  • После жёсткого дедлайна — не оцениваются

Зачет

  • Сдать все домашние задания, набрав не менее 80% от общей суммы баллов