Video library: V. N. Bragilevsky, Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 2

RUS ENG

VIDEO LIBRARY


XVII Summer School "Contemporary Mathematics", 2017 July 26, 2017 09:30, Dubna

Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 2

V. N. Bragilevsky

https://youtu.be/qqGGbtkdLGM

Website: https://www.mccme.ru/dubna/2017/courses/bragilevsky.html

Series of lectures

Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 1
V. N. Bragilevsky, July 24, 2017 17:15
Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 2
V. N. Bragilevsky, July 26, 2017 09:30
Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 3
V. N. Bragilevsky, July 28, 2017 15:30
Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 4
V. N. Bragilevsky, July 29, 2017 09:30

© Steklov Math. Inst. of RAS, 2026