Types 24 — различия между версиями

Версия 13:40, 13 сентября 2024

Осенний курс по выбору для студентов 3 и 4 курсов ПМИ ФКН ВШЭ.

Лектор: Павел Соколов aka @TurtlePU.

Семинарист: Илья Григорьев aka @ilyagribun.

Ассистент: Яна Ике aka @jijasan.

Лекция 1, 2 сен 2024. Организация курса; Формальные методы и теория типов; Язык NatBool, его денотационная семантика и здравость системы типов относительно неё. [ Запись].
Семинар 1, 2 сен 2024. Операционные семантики; Эквивалентности семантик; Preservation и Progress теоремы; Корректность системы типов относительно операционной семантики. [ Запись].

ТДЗ-1 (теоретическое). TBA. Условие. Исходник. Дедлайн: 16 сентября 2024 в 23:59.
ТДЗ-2 (теоретическое). TBA. [ Условие]. [ Исходник]. Дедлайн: TBA.
ТДЗ-3 (теоретическое). TBA. [ Условие]. [ Исходник]. Дедлайн: TBA.
ПДЗ-1 (практическое). TBA. [ Условие]. Дедлайн: TBA.
ПДЗ-2 (практическое). TBA. [ Условие]. Дедлайн: TBA.
БТДЗ (бонусное теоретическое). TBA. [ Условие]. [ Исходник]. Дедлайн: TBA.
ПДЗ-3 (практическое). TBA. [ Условие]. Дедлайн: TBA.
ПДЗ-4 (практическое). TBA. [ Условие]. Дедлайн: TBA.
БПДЗ (бонусное практическое). TBA. [ Условие]. Дедлайн: TBA.
ТДЗ-4 (теоретическое). TBA. [ Условие]. [ Исходник]. Дедлайн: TBA.

Условие теоретических домашних заданий скомпилировано с помощью pdfLaTeX.

Итог = Округление(0.4 * ТДЗ + 0.6 * ПДЗ + Б),

где ТДЗ – средняя оценка за теоретические домашние задания, ПДЗ – за практические, а Б – сумма бонусных баллов, полученных за курс.

@@ Строка 19: / Строка 19: @@
 [https://us06web.zoom.us/j/88580149532?pwd=XAtNlbGimHZboYL5bOSSjxO8AUOHmB.1 Семинары (Zoom)]
-[ Записи занятий (Я.Диск)]
+[https://disk.yandex.ru/d/WhHJyFeb9mDdkA Записи занятий (Я.Диск)]
 [https://classroom.google.com/c/NzExNzI1MDg2MjA3?cjc=sihngzs classroom для сдачи теоретических домашних заданий]