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

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

• Выбрать тему CS301. Теория языков программирования

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

  Свернуть всё Развернуть всё
  • Выбрать элемент Программа курса

    

    Программа курса Файл
  • Выбрать элемент Учебная карта дисциплины

    

    Учебная карта дисциплины Файл
  • Выбрать элемент Порядок начисления баллов

    

    Порядок начисления баллов Файл
  • Выбрать элемент The Coq Proof Assistant

    

    The Coq Proof Assistant Гиперссылка
  • Выбрать элемент Библиотека Mathematical Components

    

    Библиотека Mathematical Components Гиперссылка
  • Выбрать элемент Software Foundations

    

    Software Foundations Гиперссылка
  • Выбрать элемент Литература

    

    Литература Страница

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
• Выбрать тему Материалы лекций

  Материалы лекций
  • Выбрать элемент Лекция 1. Введение. Бестиповые системы.

    

    Лекция 1. Введение. Бестиповые системы. Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция №2. Бестиповые системы. Бестиповое лямбда-исчисление

    

    Лекция №2. Бестиповые системы. Бестиповое лямбда-исчисление Файл

    Недоступно, пока не выполнено:

    • Вы принадлежите к группе тяп_дв
    • До 31 января 2021, 22:00
  • Выбрать элемент Лекция 3. Бестиповое лямбда-исчисление. Представление термов без использования имен. Типизированные арифметические выражения.

    

    Лекция 3. Бестиповое лямбда-исчисление. Представление термов без использования имен. Типизированные арифметические выражения. Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 4. Простое типизированное лямбда-исчисление. Простые расширения.

    

    Лекция 4. Простое типизированное лямбда-исчисление. Простые расширения. Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 5. Простые расширения. Ссылки. Исключения.

    

    Лекция 5. Простые расширения. Ссылки. Исключения. Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 6. Подтипы.

    

    Лекция 6. Подтипы. Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 7(часть 1). Метатеория подтипов

    

    Лекция 7(часть 1). Метатеория подтипов Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 7(часть 2). Расширенный пример: императивные объекты

    

    Лекция 7(часть 2). Расширенный пример: императивные объекты Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 8. Облегченная Java. Рекурсивные типы

    

    Лекция 8. Облегченная Java. Рекурсивные типы Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 9. Метатеория рекурсивных типов

    

    Лекция 9. Метатеория рекурсивных типов Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 10. Полиморфизм. Реконструкция типов. Универсальные типы

    

    Лекция 10. Полиморфизм. Реконструкция типов. Универсальные типы Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 11. Полиморфизм. Экзистенциальные типы. Ограниченная квантификация.

    

    Лекция 11. Полиморфизм. Экзистенциальные типы. Ограниченная квантификация. Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 12. Ограниченная квантификация. Метатеория ограниченной квантификации.

    

    Лекция 12. Ограниченная квантификация. Метатеория ограниченной квантификации. Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 13. Метатеория ограниченной квантификации. Операторы над типами и виды. Полиморфизм высших порядков.

    

    Лекция 13. Метатеория ограниченной квантификации. Операторы над типами и виды. Полиморфизм высших порядков. Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 14. Полиморфизм высших порядков. Подтипы высших порядков.

    

    Лекция 14. Полиморфизм высших порядков. Подтипы высших порядков. Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лекция 15. Расширенный пример: чисто функциональные объекты

    

    Лекция 15. Расширенный пример: чисто функциональные объекты Файл

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
• Выбрать тему Модуль 1. Основы теории типов.

  Модуль 1. Основы теории типов.
  • Выбрать элемент Лабораторная работа 1

    

    Лабораторная работа 1 Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 2

    

    Лабораторная работа 2 Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 3

    

    Лабораторная работа 3 Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 4

    

    Лабораторная работа 4 Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 1

    

    Домашнее задание 1 Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 2

    

    Домашнее задание 2 Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 3

    

    Домашнее задание 3 Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 4.

    

    Домашнее задание 4. Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Контрольная работа 1

    

    Контрольная работа 1 Задание

    Недоступно, пока не выполнено:

    • Вы принадлежите к группе тяп_дв
    • До 10 октября 2020, 15:35
  • Выбрать элемент Безымянные термы

    

    Безымянные термы Тест

    Недоступно, пока не выполнено:

    • Вы принадлежите к группе тяп_дв
    • До 10 октября 2020, 15:45
• Выбрать тему Модуль 2. Подтипы и рекурсивные типы.

  Модуль 2. Подтипы и рекурсивные типы.
  • Выбрать элемент Лабораторная работа 5.

    

    Лабораторная работа 5. Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 6.

    

    Лабораторная работа 6. Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 7.

    

    Лабораторная работа 7. Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 8.

    

    Лабораторная работа 8. Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 5.

    

    Домашнее задание 5. Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 6.

    

    Домашнее задание 6. Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 7.

    

    Домашнее задание 7. Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 8.

    

    Домашнее задание 8. Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Контрольная работа 2

    

    Контрольная работа 2 Задание

    Недоступно, пока не выполнено одно из:

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

  Модуль 3. Полиморфизм и системы высших порядков.
  • Выбрать элемент Лабораторная работа 9.

    

    Лабораторная работа 9. Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 10.

    

    Лабораторная работа 10. Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 11.

    

    Лабораторная работа 11. Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 12.

    

    Лабораторная работа 12. Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Лабораторная работа 13.

    

    Лабораторная работа 13. Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 9.

    

    Домашнее задание 9. Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 10.

    

    Домашнее задание 10. Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 11.

    

    Домашнее задание 11. Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Домашнее задание 12

    

    Домашнее задание 12 Тест

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Контрольная работа 3

    

    Контрольная работа 3 Задание

    Недоступно, пока не выполнено одно из:

    • Все:
      • Вы принадлежите к группе тяп_ДВ8
      • До 18 декабря 2020, 15:30
    • Все:
      • Вы принадлежите к группе тяп_ДВ9
      • До 18 декабря 2020, 17:35
      ...
    • Показать больше
• Выбрать тему Проект

  Проект
  • Выбрать элемент Отчет по проекту

    

    Отчет по проекту Задание
  • Выбрать элемент Презентация к защите

    

    Презентация к защите Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Проведение лекции

    

    Проведение лекции Задание

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
  • Выбрать элемент Возможные источники для проектов

    

    Возможные источники для проектов Страница

    Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
• Выбрать тему Бонусные баллы

  Бонусные баллы
  • Выбрать элемент Бонусные баллы

    

    Бонусные баллы Задание