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

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

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

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

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