//
Автор: Логика в Москве
Загружено: 2025-12-12
Просмотров: 168
НИС "Современные проблемы математической логики" в ВШЭ.
Дата и время: 05.12.2025 в 16:20
Название: Соответствие Карри-Говарда
Докладчик: Татьяна Зенякина
Аннотация:
В докладе предлагается рассмотреть связь между типизированными системами лямбда-исчисления и интуиционистскими логичискими системами, известную как соответствие Карри-Говарда. Мы рассмотрим нетипизированное лямбда-исчисление, введем на нем систему типов, обсудим преимущества и недостатки для типизированной системы. Затем соответствие Карри-Говарда будет продемонстрировано для простого типизированного лямбда-исчисления и интуиционистской логики высказываний. В итоге, мы обсудим прикладную значимость этого соответствия для реализации языков программирования.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: