Информационный поиск

Основы информационного поиска

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

Лектор: Алексей Неганов aka @bokareis.

Чат курсы TDB

Формула оценки

TBD

Записи лекций

• Лекция 1, 2 сен 2024. Организация курса; Формальные методы и теория типов; Язык NatBool, его денотационная семантика и здравость системы типов относительно неё. Запись.
• Семинар 1, 2 сен 2024. Операционные семантики; Эквивалентности семантик; Preservation и Progress теоремы; Корректность системы типов относительно операционной семантики. Запись.
• Лекция 2, 9 сен 2024. Система типов NatBool+Let. Подстановка. Соглашение об именах. Preservation и progress теоремы. Запись.
• Семинар 2, 9 сен 2024. Семантика с кучей. Эквивалентность семантик с подстановкой и с кучей. Корректность системы типов NatBool+Let. Запись.
• Лекция 3, 16 сен 2024. Нетипизированное лямбда-исчисление. Стратегии редукции. Теорема Чёрча-Россера. [ Запись].
• Семинар 3, 16 сен 2024. Кодирование Чёрча для типов данных: логические значения, пары, натуральные числа, списки. Комбинатор неподвижной точки. [ Запись].
• Лекция 4, 23 сен 2024. TBA. [ Запись].
• Семинар 4, 23 сен 2024. TBA. [ Запись].
• Лекция 5, 30 сен 2024. TBA. [ Запись].
• Семинар 5, 30 сен 2024. TBA. [ Запись].
• Лекция 6, 7 окт 2024. TBA. [ Запись].
• Семинар 6, 7 окт 2024. TBA. [ Запись].
• Лекция 7, 14 окт 2024. TBA. [ Запись].
• Семинар 7, 14 окт 2024. TBA. [ Запись].
• Лекция 8, 21 окт 2024. TBA. [ Запись].
• Семинар 8, 21 окт 2024. TBA. [ Запись].

Домашние задания

• ТДЗ-1 (теоретическое). Система типов IntBool+Let. Условие. Исходник. Дедлайн: 26 сентября 2024 в 23:59.
• ТДЗ-2 (теоретическое). Тьюринг-полнота нетипизированного лямбда-исчисления. Условие. Исходник. Дедлайн: 30 сентября 2024 в 23:59.
• ТДЗ-3 (теоретическое). TBA. [ Условие]. [ Исходник]. Дедлайн: TBA.
• ПДЗ-1 (практическое). TBA. [ Условие]. Дедлайн: TBA.
• ПДЗ-2 (практическое). TBA. [ Условие]. Дедлайн: TBA.
• БТДЗ (бонусное теоретическое). TBA. [ Условие]. [ Исходник]. Дедлайн: TBA.
• ПДЗ-3 (практическое). TBA. [ Условие]. Дедлайн: TBA.
• ПДЗ-4 (практическое). TBA. [ Условие]. Дедлайн: TBA.
• БПДЗ (бонусное практическое). TBA. [ Условие]. Дедлайн: TBA.
• ТДЗ-4 (теоретическое). TBA. [ Условие]. [ Исходник]. Дедлайн: TBA.

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

Литература

TBD