Перейти к основному содержанию
EDU-MMCS
Вы используете гостевой доступ (
Вход
)
CS301. Теория языков программирования
Путь к странице
В начало
/
►
Курсы
/
►
Осенний семестр
/
►
Фундаментальная информатика и ИТ
/
►
ТЯП
Тематический план
CS301. Теория языков программирования
CS301. Теория языков программирования
Программа курса
Файл
Учебная карта дисциплины
Файл
Порядок начисления баллов
Файл
The Coq Proof Assistant
Гиперссылка
Библиотека Mathematical Components
Гиперссылка
Software Foundations
Гиперссылка
Литература
Страница
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Материалы лекций
Материалы лекций
Лекция 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. Основы теории типов.
Лабораторная работа 1
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 2
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 3
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 4
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 1
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 2
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 3
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 4.
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Контрольная работа 1
Задание
Ограничено
Недоступно, пока не выполнено:
Вы принадлежите к группе
тяп_дв
До
10 October 2020, 15:35
Безымянные термы
Тест
Ограничено
Недоступно, пока не выполнено:
Вы принадлежите к группе
тяп_дв
До
10 October 2020, 15:45
Модуль 2. Подтипы и рекурсивные типы.
Модуль 2. Подтипы и рекурсивные типы.
Лабораторная работа 5.
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 6.
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 7.
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 8.
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 5.
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 6.
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 7.
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 8.
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Контрольная работа 2
Задание
Ограничено
Недоступно, пока не выполнено одно из:
Все:
Вы принадлежите к группе
тяп_ДВ8
До
13 November 2020, 15:30
Все:
Вы принадлежите к группе
тяп_ДВ9
До
13 November 2020, 17:35
Модуль 3. Полиморфизм и системы высших порядков.
Модуль 3. Полиморфизм и системы высших порядков.
Лабораторная работа 9.
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 10.
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 11.
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 12.
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Лабораторная работа 13.
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 9.
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 10.
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 11.
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Домашнее задание 12
Тест
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Контрольная работа 3
Задание
Ограничено
Недоступно, пока не выполнено одно из:
Все:
Вы принадлежите к группе
тяп_ДВ8
До
18 December 2020, 15:30
Все:
Вы принадлежите к группе
тяп_ДВ9
До
18 December 2020, 17:35
Проект
Проект
Отчет по проекту
Задание
Презентация к защите
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Проведение лекции
Задание
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Возможные источники для проектов
Страница
Ограничено
Недоступно, пока не выполнено: Вы принадлежите к группе
тяп_дв
Бонусные баллы
Бонусные баллы
Бонусные баллы
Задание