Просмотр исходного текста страницы Математическая логика 5SE весна 2018

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

[[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]]

[[Медиа:Mlc02_2018.pdf|Лекция 2. Полные системы связок]]

[[Медиа:Mlc03_2018.pdf|Лекция 3. Исчисление высказываний гильбертовского типа]]

[[Медиа:Mlc04_2018.pdf|Лекция 4. Исчисление высказываний генценовского типа]]

[[Медиа:Mlc05_2018.pdf|Лекция 5. Интуиционистское исчисление высказываний]]

== Практика ==

Преподаватель: Жаворонков Эдгар

[https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]

=== Контакты: ===

* [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

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

* [[Медиа:Logic01.pdf|Листок с занятия и домашнее задание 1]]([[Медиа:Logic01.zip|tex]])('''Дедлайн(мягкий): 20.03.2018 23:59''')
* [[Медиа:Logic02.pdf|Листок с занятия и домашнее задание 2]]([[Медиа:Logic02.zip|tex]])('''Дедлайн(мягкий): 03.04.2018 23:59''')

=== Правила игры === 
==== Сдача домашних заданий ====

Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары.  

==== Дедлайны ====

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Критериев получения зачета ровно один:
* Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов