Типы в языках программирования весна 2018 — различия между версиями

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

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

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

Лекции

Лекция 1. Язык арифметических выражений

Лекция 2. Простые типы

Лекция 3. Простые расширения

Лекция 4. Обитаемость простых типов

Лекция 5. Нормализация для простой системы

Лекция 6. Подтипы

Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)

Лекция 7. Полиморфные типы: система λ2 (System F)

Практика 7. Полиморфные типы: система λ2 (System F)

Лекция 8. Экзистенциальные типы

Лекция 9. Cистема λω: операторы над типами

Лекция 10. Зависимые типы: система λP

Лекция 11. λ-куб и чистые системы типов (PTS)

Лекция 12. Логические системы

Практика

Ссылка-приглашение на stepik-курс с домашними заданиями

Таблица с результатами