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

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

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

    • Иконка Файл
      Лекция 1. Введение. Бестиповые системы. Файл
      Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Иконка Файл
      Лекция №2. Бестиповые системы. Бестиповое лямбда-исчисление Файл
      Недоступно, пока не выполнено:
      • Вы принадлежите к группе тяп_дв
      • До 31 января 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 октября 2020, 15:35
    • Иконка Тест
      Безымянные термы Тест
      Недоступно, пока не выполнено:
      • Вы принадлежите к группе тяп_дв
      • До 10 октября 2020, 15:45
  • Модуль 2. Подтипы и рекурсивные типы.

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

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

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