SEWiki - Вклад участника [ru]

Математическая логика 5SE весна 2018

2018-05-18T13:37:17Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''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. Секвенциальное исчисление предикатов]]

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

Жаворонков Эдгар: [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% от общей суммы баллов

Файл:Logic06.pdf

2018-05-18T13:36:37Z

Ed.zhavoronkov:

Файл:Logic06.zip

2018-05-18T13:36:29Z

Ed.zhavoronkov:

Математическая логика 5SE весна 2018

2018-05-17T12:38:51Z

Ed.zhavoronkov: /* Зачет */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''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. Секвенциальное исчисление предикатов]]

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

Жаворонков Эдгар: [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''' (мягкий)

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

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

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

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

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

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

Файл:Logic05.zip

2018-05-14T19:38:47Z

Ed.zhavoronkov:

Математическая логика 5SE весна 2018

2018-05-10T23:20:02Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''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. Секвенциальное исчисление предикатов]]

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

Жаворонков Эдгар: [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''' (мягкий)

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

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

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

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

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

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

Математическая логика 5SE весна 2018

2018-05-10T23:19:51Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''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. Секвенциальное исчисление предикатов]]

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

Жаворонков Эдгар: [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|Задание 4]] ([[Медиа:Logic05.zip|tex]]) до '''16.05.2018 23:59''' (мягкий)

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

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

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

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

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

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

Файл:Logic05.pdf

2018-05-10T23:19:23Z

Ed.zhavoronkov:

Математическая логика 5SE весна 2018

2018-04-20T15:25:10Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''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. Секвенциальное исчисление предикатов]]

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

Жаворонков Эдгар: [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''' (мягкий)

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

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

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

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

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

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

Файл:Logic04.zip

2018-04-20T15:24:13Z

Ed.zhavoronkov:

Файл:Logic04.pdf

2018-04-20T15:24:02Z

Ed.zhavoronkov:

Математическая логика 5SE весна 2018

2018-04-07T17:27:47Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''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 год)]]

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

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

[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''')
* [[Медиа:Logic03.pdf|Листок с занятия и домашнее задание 3]]([[Медиа:Logic03.zip|tex]])('''Дедлайн(мягкий): 18.04.2018 23:59''')

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

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

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

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

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

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

Математическая логика 5SE весна 2018

2018-04-07T17:27:34Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''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 год)]]

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

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

[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''')
* [[Медиа:Logic03.pdf|Листок с занятия и домашнее задание 2]]([[Медиа:Logic03.zip|tex]])('''Дедлайн(мягкий): 18.04.2018 23:59''')

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

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

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

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

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

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

Файл:Logic03.pdf

2018-04-07T17:27:09Z

Ed.zhavoronkov:

Файл:Logic03.zip

2018-04-07T17:26:56Z

Ed.zhavoronkov:

Математическая логика 5SE весна 2018

2018-04-05T14:04:15Z

Ed.zhavoronkov: /* Лекции */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''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 год)]]

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

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

[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% от общей суммы баллов

Файл:Mlc07 2017.pdf

2018-04-05T14:03:03Z

Ed.zhavoronkov:

Математическая логика 5SE весна 2018

2018-03-22T20:03:25Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''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% от общей суммы баллов

Файл:Logic02.zip

2018-03-22T19:59:52Z

Ed.zhavoronkov:

Файл:Logic02.tex

2018-03-22T19:58:23Z

Ed.zhavoronkov:

Файл:Logic02.pdf

2018-03-22T19:57:13Z

Ed.zhavoronkov:

Математическая логика 5SE весна 2018

2018-02-23T17:38:00Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

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

== Лекции ==

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

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

[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]] ('''Дедлайн(мягкий): 20.03.2018 23:59''')

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

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

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

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

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

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

Файл:Logic01.pdf

2018-02-23T17:37:26Z

Ed.zhavoronkov:

Математическая логика 5SE весна 2018

2018-02-23T11:58:17Z

Ed.zhavoronkov: /* Практика */

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

== Лекции ==

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

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

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

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

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

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

* [[Медиа:TODO.pdf|Листок с занятия и домашнее задание 1]] ('''Дедлайн(мягкий): 20.08.2018 23:59''')

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

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

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

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

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

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

ФП 5SE осень 2017

2017-12-21T10:03:46Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

Дока с планами всех практик: https://docs.google.com/document/d/10oe6QO28qXiBBOdsYEc2Qu6hSBOaSwQrT2AMyLePwvk/edit?usp=sharing

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d
# 29.11.2017: https://gist.github.com/projedi/8320e35887c95b06f729cabe9eaedc46
# 13.12.2017: https://gist.github.com/projedi/36f57d713a76fcfe386fb390fb1b6b85
# 20.12.2017: https://gist.github.com/projedi/50a00d08d0f9805a3b394d227f9b3b2b

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]
* [[Медиа:Sem12.zip|Код с пары 29.11]]
* [[Медиа:Sem13.zip|Код с пары 6.12 -- заготовка]]
* [[Медиа:Sem14.zip|Код с пары 13.12]]
* [[Медиа:Sem15.zip|Код с пары 20.12]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

Файл:Sem15.zip

2017-12-21T10:03:20Z

Ed.zhavoronkov: Ed.zhavoronkov загрузил новую версию Файл:Sem15.zip

ФП 2MIT осень 2017

2017-12-19T13:43:16Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д Н.

* [[Медиа:Fpc01_170905.pdf|Лекция #1]]
* [[Медиа:Fp02_2020.pdf|Лекция #2]]
* [[Медиа:Fp03_2020.pdf|Лекция #3]]
* [[Медиа:Fp04_2020.pdf|Лекция #4]]
* [[Медиа:Fp05_2020.pdf|Лекция #5]]
* [[Медиа:Fp06_2020.pdf|Лекция #6]]
* [[Медиа:Fp08_2020.pdf|Лекция #8]]
* [[Медиа:Fp09_2020.pdf|Лекция #9]]
* [[Медиа:Fp10_2020.pdf|Лекция #10]]
* [[Медиа:Fp11_2020.pdf|Лекция #11]]
* [[Медиа:Fp12_2020.pdf|Лекция #12]]
* [[Медиа:Fp13_2020.pdf|Лекция #13]]

== Практика Москвин ==

[https://docs.google.com/spreadsheets/d/1qVhnZbSLY8lhR_tXqFFru5QcewzfQUmFTFiKTl9DnQE/edit#gid=0 Табличка с баллами]

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 11.09.2017 23:59''') — [[Медиа:Sem01.md.zip | Исходник]]
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]]
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 25.09.2017 23:59''') — [[Медиа:Sem03.md.zip | Исходник]]
* Код с пары 26.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 03.10]]
* [[Медиа:Sem06.zip|Код с пары 10.10]]
* [[Медиа:Sem07.zip|Код с пары 17.10]]
* [[Медиа:Sem08.zip|Код с пары 24.10]]
* [[Медиа:Sem09.zip|Код с пары 07.11]]
* [[Медиа:Sem10.zip|Код с пары 14.11]]
* [[Медиа:Sem11.zip|Код с пары 21.11]]
* [[Медиа:Sem12.zip|Код с пары 28.11]]
* [[Медиа:Sem13.zip|Код с пары 5.12 -- заготовка]]
* [[Медиа:Sem14.zip|Код с пары 12.12]]
* [[Медиа:Sem15.zip|Код с пары 19.12]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

Файл:Sem15.zip

2017-12-19T13:42:50Z

Ed.zhavoronkov:

ФП 5SE осень 2017

2017-12-13T13:42:19Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d
# 29.11.2017: https://gist.github.com/projedi/8320e35887c95b06f729cabe9eaedc46
# 13.12.2017: https://gist.github.com/projedi/36f57d713a76fcfe386fb390fb1b6b85

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]
* [[Медиа:Sem12.zip|Код с пары 29.11]]
* [[Медиа:Sem13.zip|Код с пары 6.12 -- заготовка]]
* [[Медиа:Sem14.zip|Код с пары 13.12]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

Файл:Sem14.zip

2017-12-13T13:40:54Z

Ed.zhavoronkov: Ed.zhavoronkov загрузил новую версию Файл:Sem14.zip

ФП 5SE осень 2017

2017-12-12T17:15:13Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d
# 29.11.2017: https://gist.github.com/projedi/8320e35887c95b06f729cabe9eaedc46

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]
* [[Медиа:Sem12.zip|Код с пары 29.11]]
* [[Медиа:Sem13.zip|Код с пары 6.12 -- заготовка]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 2MIT осень 2017

2017-12-12T13:34:51Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д Н.

* [[Медиа:Fpc01_170905.pdf|Лекция #1]]
* [[Медиа:Fp02_2020.pdf|Лекция #2]]
* [[Медиа:Fp03_2020.pdf|Лекция #3]]
* [[Медиа:Fp04_2020.pdf|Лекция #4]]
* [[Медиа:Fp05_2020.pdf|Лекция #5]]
* [[Медиа:Fp06_2020.pdf|Лекция #6]]
* [[Медиа:Fp08_2020.pdf|Лекция #8]]
* [[Медиа:Fp09_2020.pdf|Лекция #9]]
* [[Медиа:Fp10_2020.pdf|Лекция #10]]
* [[Медиа:Fp11_2020.pdf|Лекция #11]]
* [[Медиа:Fp12_2020.pdf|Лекция #12]]
* [[Медиа:Fp13_2020.pdf|Лекция #13]]

== Практика Москвин ==

[https://docs.google.com/spreadsheets/d/1qVhnZbSLY8lhR_tXqFFru5QcewzfQUmFTFiKTl9DnQE/edit#gid=0 Табличка с баллами]

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 11.09.2017 23:59''') — [[Медиа:Sem01.md.zip | Исходник]]
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]]
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 25.09.2017 23:59''') — [[Медиа:Sem03.md.zip | Исходник]]
* Код с пары 26.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 03.10]]
* [[Медиа:Sem06.zip|Код с пары 10.10]]
* [[Медиа:Sem07.zip|Код с пары 17.10]]
* [[Медиа:Sem08.zip|Код с пары 24.10]]
* [[Медиа:Sem09.zip|Код с пары 07.11]]
* [[Медиа:Sem10.zip|Код с пары 14.11]]
* [[Медиа:Sem11.zip|Код с пары 21.11]]
* [[Медиа:Sem12.zip|Код с пары 28.11]]
* [[Медиа:Sem13.zip|Код с пары 5.12 -- заготовка]]
* [[Медиа:Sem14.zip|Код с пары 12.12]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

Файл:Sem14.zip

2017-12-12T13:34:13Z

Ed.zhavoronkov:

ФП 2MIT осень 2017

2017-12-06T11:48:16Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д Н.

* [[Медиа:Fpc01_170905.pdf|Лекция #1]]
* [[Медиа:Fp02_2020.pdf|Лекция #2]]
* [[Медиа:Fp03_2020.pdf|Лекция #3]]
* [[Медиа:Fp04_2020.pdf|Лекция #4]]
* [[Медиа:Fp05_2020.pdf|Лекция #5]]
* [[Медиа:Fp06_2020.pdf|Лекция #6]]
* [[Медиа:Fp08_2020.pdf|Лекция #8]]
* [[Медиа:Fp09_2020.pdf|Лекция #9]]
* [[Медиа:Fp10_2020.pdf|Лекция #10]]
* [[Медиа:Fp11_2020.pdf|Лекция #11]]
* [[Медиа:Fp12_2020.pdf|Лекция #12]]
* [[Медиа:Fp13_2020.pdf|Лекция #13]]

== Практика Москвин ==

[https://docs.google.com/spreadsheets/d/1qVhnZbSLY8lhR_tXqFFru5QcewzfQUmFTFiKTl9DnQE/edit#gid=0 Табличка с баллами]

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 11.09.2017 23:59''') — [[Медиа:Sem01.md.zip | Исходник]]
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]]
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 25.09.2017 23:59''') — [[Медиа:Sem03.md.zip | Исходник]]
* Код с пары 26.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 03.10]]
* [[Медиа:Sem06.zip|Код с пары 10.10]]
* [[Медиа:Sem07.zip|Код с пары 17.10]]
* [[Медиа:Sem08.zip|Код с пары 24.10]]
* [[Медиа:Sem09.zip|Код с пары 07.11]]
* [[Медиа:Sem10.zip|Код с пары 14.11]]
* [[Медиа:Sem11.zip|Код с пары 21.11]]
* [[Медиа:Sem12.zip|Код с пары 28.11]]
* [[Медиа:Sem13.zip|Код с пары 5.11 -- заготовка]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

ФП 5SE осень 2017

2017-12-06T11:48:12Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d
# 29.11.2017: https://gist.github.com/projedi/8320e35887c95b06f729cabe9eaedc46

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]
* [[Медиа:Sem12.zip|Код с пары 29.11]]
* [[Медиа:Sem13.zip|Код с пары 6.11 -- заготовка]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

Файл:Sem13.zip

2017-12-06T11:47:20Z

Ed.zhavoronkov: Заготовка для тринадцатого семинара

Заготовка для тринадцатого семинара

ФП 5SE осень 2017

2017-11-29T13:16:58Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]
* [[Медиа:Sem12.zip|Код с пары 29.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

Файл:Sem12.zip

2017-11-29T13:16:20Z

Ed.zhavoronkov: Ed.zhavoronkov загрузил новую версию Файл:Sem12.zip

ФП 2MIT осень 2017

2017-11-28T13:35:33Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д Н.

* [[Медиа:Fpc01_170905.pdf|Лекция #1]]
* [[Медиа:Fp02_2020.pdf|Лекция #2]]
* [[Медиа:Fp03_2020.pdf|Лекция #3]]
* [[Медиа:Fp04_2020.pdf|Лекция #4]]
* [[Медиа:Fp05_2020.pdf|Лекция #5]]
* [[Медиа:Fp06_2020.pdf|Лекция #6]]
* [[Медиа:Fp08_2020.pdf|Лекция #8]]
* [[Медиа:Fp09_2020.pdf|Лекция #9]]
* [[Медиа:Fp10_2020.pdf|Лекция #10]]
* [[Медиа:Fp11_2020.pdf|Лекция #11]]

== Практика Москвин ==

[https://docs.google.com/spreadsheets/d/1qVhnZbSLY8lhR_tXqFFru5QcewzfQUmFTFiKTl9DnQE/edit#gid=0 Табличка с баллами]

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 11.09.2017 23:59''') — [[Медиа:Sem01.md.zip | Исходник]]
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]]
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 25.09.2017 23:59''') — [[Медиа:Sem03.md.zip | Исходник]]
* Код с пары 26.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 03.10]]
* [[Медиа:Sem06.zip|Код с пары 10.10]]
* [[Медиа:Sem07.zip|Код с пары 17.10]]
* [[Медиа:Sem08.zip|Код с пары 24.10]]
* [[Медиа:Sem09.zip|Код с пары 07.11]]
* [[Медиа:Sem10.zip|Код с пары 14.11]]
* [[Медиа:Sem11.zip|Код с пары 21.11]]
* [[Медиа:Sem12.zip|Код с пары 28.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

Файл:Sem12.zip

2017-11-28T13:35:05Z

Ed.zhavoronkov:

ФП 5SE осень 2017

2017-11-22T14:59:42Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

Файл:Sem11.zip

2017-11-22T14:59:08Z

Ed.zhavoronkov: Ed.zhavoronkov загрузил новую версию Файл:Sem11.zip

Набросок одиннадцатого семинара

ФП 2MIT осень 2017

2017-11-21T13:54:02Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д Н.

* [[Медиа:Fpc01_170905.pdf|Лекция #1]]

== Практика Москвин ==

[https://docs.google.com/spreadsheets/d/1qVhnZbSLY8lhR_tXqFFru5QcewzfQUmFTFiKTl9DnQE/edit#gid=0 Табличка с баллами]

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 11.09.2017 23:59''') — [[Медиа:Sem01.md.zip | Исходник]]
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]]
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 25.09.2017 23:59''') — [[Медиа:Sem03.md.zip | Исходник]]
* Код с пары 26.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 03.10]]
* [[Медиа:Sem06.zip|Код с пары 10.10]]
* [[Медиа:Sem07.zip|Код с пары 17.10]]
* [[Медиа:Sem08.zip|Код с пары 24.10]]
* [[Медиа:Sem09.zip|Код с пары 07.11]]
* [[Медиа:Sem10.zip|Код с пары 14.11]]
* [[Медиа:Sem11.zip|Код с пары 21.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

Файл:Sem11.zip

2017-11-21T13:53:44Z

Ed.zhavoronkov: Набросок одиннадцатого семинара

Набросок одиннадцатого семинара

ФП 5SE осень 2017

2017-11-15T15:09:46Z

Ed.zhavoronkov: /* Зачет */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-11-15T13:39:26Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

Файл:Sem10.zip

2017-11-15T13:38:59Z

Ed.zhavoronkov: Ed.zhavoronkov загрузил новую версию Файл:Sem10.zip

Набросок десятого семинара

ФП 2MIT осень 2017

2017-11-14T13:26:52Z

Ed.zhavoronkov: /* Зачет */

== Лекции ==
Преподаватель: Москвин Д Н.

* [[Медиа:Fpc01_170905.pdf|Лекция #1]]

== Практика Москвин ==

[https://docs.google.com/spreadsheets/d/1qVhnZbSLY8lhR_tXqFFru5QcewzfQUmFTFiKTl9DnQE/edit#gid=0 Табличка с баллами]

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 11.09.2017 23:59''') — [[Медиа:Sem01.md.zip | Исходник]]
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]]
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 25.09.2017 23:59''') — [[Медиа:Sem03.md.zip | Исходник]]
* Код с пары 26.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 03.10]]
* [[Медиа:Sem06.zip|Код с пары 10.10]]
* [[Медиа:Sem07.zip|Код с пары 17.10]]
* [[Медиа:Sem08.zip|Код с пары 24.10]]
* [[Медиа:Sem09.zip|Код с пары 07.11]]
* [[Медиа:Sem10.zip|Код с пары 14.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

ФП 2MIT осень 2017

2017-11-14T13:26:32Z

Ed.zhavoronkov: /* Материалы с занятий и домашние задания: */

== Лекции ==
Преподаватель: Москвин Д Н.

* [[Медиа:Fpc01_170905.pdf|Лекция #1]]

== Практика Москвин ==

[https://docs.google.com/spreadsheets/d/1qVhnZbSLY8lhR_tXqFFru5QcewzfQUmFTFiKTl9DnQE/edit#gid=0 Табличка с баллами]

== Практика Жаворонков ==

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

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

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

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 11.09.2017 23:59''') — [[Медиа:Sem01.md.zip | Исходник]]
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]]
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 25.09.2017 23:59''') — [[Медиа:Sem03.md.zip | Исходник]]
* Код с пары 26.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 03.10]]
* [[Медиа:Sem06.zip|Код с пары 10.10]]
* [[Медиа:Sem07.zip|Код с пары 17.10]]
* [[Медиа:Sem08.zip|Код с пары 24.10]]
* [[Медиа:Sem09.zip|Код с пары 07.11]]
* [[Медиа:Sem10.zip|Код с пары 14.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

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

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

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

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

Файл:Sem10.zip

2017-11-14T13:22:09Z

Ed.zhavoronkov: Набросок десятого семинара

Набросок десятого семинара