Тематический план

  • CS301. Теория языков программирования

    Внимание!!!


    Лекционная пара 22.12 начнется в 9:50 (вместо 8:50).

  • Материалы лекций

    • Лекция 1. Введение. Бестиповые системы. Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция №2. Бестиповые системы. Бестиповое лямбда-исчисление Файл
      Ограничено Недоступно, пока не выполнено:
      • Вы принадлежите к группе тяп_дв
      • До 31 January 2021, 22:00
    • Лекция 3. Бестиповое лямбда-исчисление. Представление термов без использования имен. Типизированные арифметические выражения. Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 4. Простое типизированное лямбда-исчисление. Простые расширения. Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 5. Простые расширения. Ссылки. Исключения. Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 6. Подтипы. Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 7(часть 1). Метатеория подтипов Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 7(часть 2). Расширенный пример: императивные объекты Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 8. Облегченная Java. Рекурсивные типы Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 9. Метатеория рекурсивных типов Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 10. Полиморфизм. Реконструкция типов. Универсальные типы Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 11. Полиморфизм. Экзистенциальные типы. Ограниченная квантификация. Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 12. Ограниченная квантификация. Метатеория ограниченной квантификации. Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 13. Метатеория ограниченной квантификации. Операторы над типами и виды. Полиморфизм высших порядков. Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 14. Полиморфизм высших порядков. Подтипы высших порядков. Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лекция 15. Расширенный пример: чисто функциональные объекты Файл
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв

  • Модуль 1. Основы теории типов.

    • Лабораторная работа 1 Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 2 Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 3 Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 4 Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 1 Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 2 Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 3 Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 4. Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Контрольная работа 1 Задание
      Ограничено Недоступно, пока не выполнено:
      • Вы принадлежите к группе тяп_дв
      • До 10 October 2020, 15:35
    • Безымянные термы Тест
      Ограничено Недоступно, пока не выполнено:
      • Вы принадлежите к группе тяп_дв
      • До 10 October 2020, 15:45

  • Модуль 2. Подтипы и рекурсивные типы.

    • Лабораторная работа 5. Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 6. Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 7. Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 8. Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 5. Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 6. Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 7. Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 8. Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Контрольная работа 2 Задание
      Ограничено Недоступно, пока не выполнено одно из:
      • Все:
        • Вы принадлежите к группе тяп_ДВ8
        • До 13 November 2020, 15:30
      • Все:
        • Вы принадлежите к группе тяп_ДВ9
        • До 13 November 2020, 17:35

  • Модуль 3. Полиморфизм и системы высших порядков.

    • Лабораторная работа 9. Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 10. Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 11. Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 12. Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Лабораторная работа 13. Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 9. Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 10. Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 11. Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Домашнее задание 12 Тест
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Контрольная работа 3 Задание
      Ограничено Недоступно, пока не выполнено одно из:
      • Все:
        • Вы принадлежите к группе тяп_ДВ8
        • До 18 December 2020, 15:30
      • Все:
        • Вы принадлежите к группе тяп_ДВ9
        • До 18 December 2020, 17:35

  • Проект

    • Презентация к защите Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Проведение лекции Задание
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Возможные источники для проектов Страница
      Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв

  • Бонусные баллы