http://mit.spbau.ru/sewiki/api.php?action=feedcontributions&feedformat=atom&user=Moskvin 2026-05-03T22:41:04Z Вклад участника MediaWiki 1.26.2 http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl12_2018.pdf&diff=15782 2018-05-23T18:02:04Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl11_2018.pdf&diff=15781 2018-05-23T18:01:40Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15780 2018-05-23T18:01:11Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич &lt;code&gt;dmoskvin@gmail.com&lt;/code&gt;<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> [[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]<br /> <br /> [[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]<br /> <br /> Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)<br /> <br /> [[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> [[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> [[Медиа:Tapl08_2018.pdf|Лекция 8. Экзистенциальные типы]]<br /> <br /> [[Медиа:Tapl09_2018.pdf|Лекция 9. Cистема λω: операторы над типами]]<br /> <br /> [[Медиа:Tapl10_2018.pdf|Лекция 10. Зависимые типы: система λP]]<br /> <br /> [[Медиа:Tapl11_2018.pdf|Лекция 11. λ-куб и чистые системы типов (PTS)]]<br /> <br /> [[Медиа:Tapl12_2018.pdf|Лекция 12. Логические системы]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]<br /> <br /> '''[https://docs.google.com/spreadsheets/d/1Nw39sim23x9sQ-odIjLK3NgJhp1VqD7rYvARbbVb3kg/edit?usp=sharin Таблица с результатами]'''</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mlc11_2018.pdf&diff=15779 2018-05-23T17:49:08Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15778 2018-05-23T17:48:43Z

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

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mlc10_2018.pdf&diff=15754 2018-05-16T21:30:40Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15748 2018-05-16T18:19:05Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич &lt;code&gt;dmoskvin@gmail.com&lt;/code&gt;<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> [[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]<br /> <br /> [[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]<br /> <br /> Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)<br /> <br /> [[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> [[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> [[Медиа:Tapl08_2018.pdf|Лекция 8. Экзистенциальные типы]]<br /> <br /> [[Медиа:Tapl09_2018.pdf|Лекция 9. Cистема λω: операторы над типами]]<br /> <br /> [[Медиа:Tapl10_2018.pdf|Лекция 10. Зависимые типы: система λP]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]<br /> <br /> '''[https://docs.google.com/spreadsheets/d/1Nw39sim23x9sQ-odIjLK3NgJhp1VqD7rYvARbbVb3kg/edit?usp=sharin Таблица с результатами]'''</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl10_2018.pdf&diff=15747 2018-05-16T18:17:45Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15714 2018-05-10T09:16:13Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич &lt;code&gt;dmoskvin@gmail.com&lt;/code&gt;<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> [[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]<br /> <br /> [[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]<br /> <br /> Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)<br /> <br /> [[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> [[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> [[Медиа:Tapl08_2018.pdf|Лекция 8. Экзистенциальные типы]]<br /> <br /> [[Медиа:Tapl09_2018.pdf|Лекция 9. Cистема λω: операторы над типами]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]<br /> <br /> '''[https://docs.google.com/spreadsheets/d/1Nw39sim23x9sQ-odIjLK3NgJhp1VqD7rYvARbbVb3kg/edit?usp=sharin Таблица с результатами]'''</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl09_2018.pdf&diff=15713 2018-05-10T09:13:46Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15465 2018-04-18T19:13:23Z

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

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15464 2018-04-18T19:07:14Z

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

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mlc09_2018.pdf&diff=15463 2018-04-18T19:06:07Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15462 2018-04-18T19:02:18Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> [[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]<br /> <br /> [[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]<br /> <br /> Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)<br /> <br /> [[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> [[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> [[Медиа:Tapl08_2018.pdf|Лекция 8. Экзистенциальные типы]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl08_2018.pdf&diff=15461 2018-04-18T19:01:19Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15377 2018-04-11T17:30:37Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> [[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]<br /> <br /> [[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]<br /> <br /> Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)<br /> <br /> [[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]] [[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15376 2018-04-11T17:29:16Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> [[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]<br /> <br /> [[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]<br /> <br /> Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)<br /> <br /> [[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl07_2018pr.pdf&diff=15375 2018-04-11T17:25:49Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl07_2018.pdf&diff=15374 2018-04-11T17:25:26Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15373 2018-04-11T16:59:21Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>== Лекции ==<br /> Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> [[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]]<br /> <br /> [[Медиа:Mlc02_2018.pdf|Лекция 2. Полные системы связок]]<br /> <br /> [[Медиа:Mlc03_2018.pdf|Лекция 3. Исчисление высказываний гильбертовского типа]]<br /> <br /> [[Медиа:Mlc04_2018.pdf|Лекция 4. Исчисление высказываний генценовского типа]]<br /> <br /> [[Медиа:Mlc05_2018.pdf|Лекция 5. Интуиционистское исчисление высказываний]]<br /> <br /> [[Медиа:Mlc06_2018.pdf|Лекция 6. Логика предикатов первого порядка]]<br /> <br /> [[Медиа:Mlc07_2017.pdf|Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)]]<br /> <br /> [[Медиа:Mlc08_2018.pdf|Лекция 8. Исчисление предикатов гильбертовского типа]]<br /> <br /> == Практика ==<br /> <br /> Преподаватель: Жаворонков Эдгар<br /> <br /> [https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]<br /> <br /> === Контакты: ===<br /> <br /> * [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]<br /> * [https://t.me/EdgarZhavoronkov Telegram]<br /> <br /> === Материалы с занятий и домашние задания: ===<br /> <br /> * [[Медиа:Logic01.pdf|Листок с занятия и домашнее задание 1]]([[Медиа:Logic01.zip|tex]])('''Дедлайн(мягкий): 20.03.2018 23:59''')<br /> * [[Медиа:Logic02.pdf|Листок с занятия и домашнее задание 2]]([[Медиа:Logic02.zip|tex]])('''Дедлайн(мягкий): 03.04.2018 23:59''')<br /> * [[Медиа:Logic03.pdf|Листок с занятия и домашнее задание 3]]([[Медиа:Logic03.zip|tex]])('''Дедлайн(мягкий): 18.04.2018 23:59''')<br /> <br /> === Правила игры === <br /> ==== Сдача домашних заданий ====<br /> <br /> Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары. <br /> <br /> ==== Дедлайны ====<br /> <br /> На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.<br /> <br /> ==== Зачет ====<br /> <br /> Критериев получения зачета ровно один:<br /> * Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mlc08_2018.pdf&diff=15372 2018-04-11T16:58:27Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15359 2018-04-10T11:51:10Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> [[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]<br /> <br /> [[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]<br /> <br /> Лекция 7. Субструктурные системы типов (гостевая, Кирилл Елагин)<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl06_2018.pdf&diff=15236 2018-03-29T08:56:14Z

<p>Moskvin: Moskvin загрузил новую версию Файл:Tapl06 2018.pdf</p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15229 2018-03-28T20:31:54Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> [[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]<br /> <br /> [[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl06_2018.pdf&diff=15228 2018-03-28T20:31:09Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15227 2018-03-28T20:10:59Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>== Лекции ==<br /> Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> [[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]]<br /> <br /> [[Медиа:Mlc02_2018.pdf|Лекция 2. Полные системы связок]]<br /> <br /> [[Медиа:Mlc03_2018.pdf|Лекция 3. Исчисление высказываний гильбертовского типа]]<br /> <br /> [[Медиа:Mlc04_2018.pdf|Лекция 4. Исчисление высказываний генценовского типа]]<br /> <br /> [[Медиа:Mlc05_2018.pdf|Лекция 5. Интуиционистское исчисление высказываний]]<br /> <br /> [[Медиа:Mlc06_2018.pdf|Лекция 6. Логика предикатов первого порядка]]<br /> <br /> == Практика ==<br /> <br /> Преподаватель: Жаворонков Эдгар<br /> <br /> [https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]<br /> <br /> === Контакты: ===<br /> <br /> * [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]<br /> * [https://t.me/EdgarZhavoronkov Telegram]<br /> <br /> === Материалы с занятий и домашние задания: ===<br /> <br /> * [[Медиа:Logic01.pdf|Листок с занятия и домашнее задание 1]]([[Медиа:Logic01.zip|tex]])('''Дедлайн(мягкий): 20.03.2018 23:59''')<br /> * [[Медиа:Logic02.pdf|Листок с занятия и домашнее задание 2]]([[Медиа:Logic02.zip|tex]])('''Дедлайн(мягкий): 03.04.2018 23:59''')<br /> <br /> === Правила игры === <br /> ==== Сдача домашних заданий ====<br /> <br /> Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары. <br /> <br /> ==== Дедлайны ====<br /> <br /> На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.<br /> <br /> ==== Зачет ====<br /> <br /> Критериев получения зачета ровно один:<br /> * Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mlc06_2018.pdf&diff=15226 2018-03-28T20:10:03Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15122 2018-03-21T16:21:08Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>== Лекции ==<br /> Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> [[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]]<br /> <br /> [[Медиа:Mlc02_2018.pdf|Лекция 2. Полные системы связок]]<br /> <br /> [[Медиа:Mlc03_2018.pdf|Лекция 3. Исчисление высказываний гильбертовского типа]]<br /> <br /> [[Медиа:Mlc04_2018.pdf|Лекция 4. Исчисление высказываний генценовского типа]]<br /> <br /> [[Медиа:Mlc05_2018.pdf|Лекция 5. Интуиционистское исчисление высказываний]]<br /> <br /> == Практика ==<br /> <br /> Преподаватель: Жаворонков Эдгар<br /> <br /> [https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]<br /> <br /> === Контакты: ===<br /> <br /> * [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]<br /> * [https://t.me/EdgarZhavoronkov Telegram]<br /> <br /> === Материалы с занятий и домашние задания: ===<br /> <br /> * [[Медиа:Logic01.pdf|Листок с занятия и домашнее задание 1]] ('''Дедлайн(мягкий): 20.03.2018 23:59''')<br /> <br /> === Правила игры === <br /> ==== Сдача домашних заданий ====<br /> <br /> Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары. <br /> <br /> ==== Дедлайны ====<br /> <br /> На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.<br /> <br /> ==== Зачет ====<br /> <br /> Критериев получения зачета ровно один:<br /> * Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mlc05_2018.pdf&diff=15121 2018-03-21T16:19:28Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15120 2018-03-21T16:17:46Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> [[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl05_2018.pdf&diff=15119 2018-03-21T16:15:46Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl04_2018.pdf&diff=15052 2018-03-15T08:59:03Z

<p>Moskvin: Moskvin загрузил новую версию Файл:Tapl04 2018.pdf</p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl04.pdf&diff=15051 2018-03-15T08:58:09Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15049 2018-03-14T18:40:39Z

<p>Moskvin: </p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> [[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl04_2018.pdf&diff=15048 2018-03-14T18:40:02Z

<p>Moskvin: Moskvin загрузил новую версию Файл:Tapl04 2018.pdf</p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl04_2018.pdf&diff=15047 2018-03-14T18:36:17Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15046 2018-03-14T17:19:21Z

<p>Moskvin: </p> <hr /> <div>== Лекции ==<br /> Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> [[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]]<br /> <br /> [[Медиа:Mlc02_2018.pdf|Лекция 2. Полные системы связок]]<br /> <br /> [[Медиа:Mlc03_2018.pdf|Лекция 3. Исчисление высказываний гильбертовского типа]]<br /> <br /> [[Медиа:Mlc04_2018.pdf|Лекция 4. Исчисление высказываний генценовского типа]]<br /> <br /> <br /> == Практика ==<br /> <br /> Преподаватель: Жаворонков Эдгар<br /> <br /> [https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]<br /> <br /> === Контакты: ===<br /> <br /> * [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]<br /> * [https://t.me/EdgarZhavoronkov Telegram]<br /> <br /> === Материалы с занятий и домашние задания: ===<br /> <br /> * [[Медиа:Logic01.pdf|Листок с занятия и домашнее задание 1]] ('''Дедлайн(мягкий): 20.03.2018 23:59''')<br /> <br /> === Правила игры === <br /> ==== Сдача домашних заданий ====<br /> <br /> Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары. <br /> <br /> ==== Дедлайны ====<br /> <br /> На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.<br /> <br /> ==== Зачет ====<br /> <br /> Критериев получения зачета ровно один:<br /> * Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mlc04_2018.pdf&diff=15045 2018-03-14T17:17:35Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=14848 2018-02-28T20:55:33Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> [[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl03_2018.pdf&diff=14847 2018-02-28T20:54:05Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=14842 2018-02-28T16:23:19Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]]<br /> <br /> [[Медиа:Mlc02_2018.pdf|Лекция 2. Полные системы связок]]<br /> <br /> [[Медиа:Mlc03_2018.pdf|Лекция 3. Исчисление высказываний гильбертовского типа]]<br /> <br /> == Практика ==<br /> <br /> Преподаватель: Жаворонков Эдгар<br /> <br /> [https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]<br /> <br /> === Контакты: ===<br /> <br /> * [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]<br /> * [https://t.me/EdgarZhavoronkov Telegram]<br /> <br /> === Материалы с занятий и домашние задания: ===<br /> <br /> * [[Медиа:Logic01.pdf|Листок с занятия и домашнее задание 1]] ('''Дедлайн(мягкий): 20.03.2018 23:59''')<br /> <br /> === Правила игры === <br /> ==== Сдача домашних заданий ====<br /> <br /> Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары. <br /> <br /> ==== Дедлайны ====<br /> <br /> На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.<br /> <br /> ==== Зачет ====<br /> <br /> Критериев получения зачета ровно один:<br /> * Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mlc03_2018.pdf&diff=14841 2018-02-28T16:21:53Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=14818 2018-02-26T10:51:36Z

<p>Moskvin: /* Практика */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=14817 2018-02-26T10:50:10Z

<p>Moskvin: /* Практика */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> == Практика ==<br /> <br /> [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/| Ссылка-приглашение на stepik-курс с домашними заданиями]</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=14816 2018-02-26T10:47:31Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]<br /> <br /> == Практика ==</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A2%D0%B8%D0%BF%D1%8B_%D0%B2_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B0%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=14815 2018-02-26T10:46:37Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Tapl01_2018.pdf|Лекция 1.]]<br /> <br /> [[Медиа:Tapl02_2018.pdf|Лекция 2.]]<br /> <br /> == Практика ==</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl02_2018.pdf&diff=14814 2018-02-26T10:44:58Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Tapl01_2018.pdf&diff=14813 2018-02-26T10:44:39Z

<p>Moskvin: </p> <hr /> <div></div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=14812 2018-02-26T10:42:00Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]]<br /> <br /> [[Медиа:Mlc02_2018.pdf|Лекция 2. Полные системы связок]]<br /> <br /> == Практика ==<br /> <br /> Преподаватель: Жаворонков Эдгар<br /> <br /> [https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]<br /> <br /> === Контакты: ===<br /> <br /> * [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]<br /> * [https://t.me/EdgarZhavoronkov Telegram]<br /> <br /> === Материалы с занятий и домашние задания: ===<br /> <br /> * [[Медиа:Logic01.pdf|Листок с занятия и домашнее задание 1]] ('''Дедлайн(мягкий): 20.03.2018 23:59''')<br /> <br /> === Правила игры === <br /> ==== Сдача домашних заданий ====<br /> <br /> Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары. <br /> <br /> ==== Дедлайны ====<br /> <br /> На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.<br /> <br /> ==== Зачет ====<br /> <br /> Критериев получения зачета ровно один:<br /> * Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов</div>

Moskvin http://mit.spbau.ru/sewiki/index.php?title=%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=14811 2018-02-26T10:41:24Z

<p>Moskvin: /* Лекции */</p> <hr /> <div>Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')<br /> <br /> == Лекции ==<br /> <br /> [[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]]<br /> <br /> [[Медиа:Mlc02_2018.pdf|Лекция 2. ]]<br /> <br /> == Практика ==<br /> <br /> Преподаватель: Жаворонков Эдгар<br /> <br /> [https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]<br /> <br /> === Контакты: ===<br /> <br /> * [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]<br /> * [https://t.me/EdgarZhavoronkov Telegram]<br /> <br /> === Материалы с занятий и домашние задания: ===<br /> <br /> * [[Медиа:Logic01.pdf|Листок с занятия и домашнее задание 1]] ('''Дедлайн(мягкий): 20.03.2018 23:59''')<br /> <br /> === Правила игры === <br /> ==== Сдача домашних заданий ====<br /> <br /> Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары. <br /> <br /> ==== Дедлайны ====<br /> <br /> На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.<br /> <br /> ==== Зачет ====<br /> <br /> Критериев получения зачета ровно один:<br /> * Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов</div>

Moskvin