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

RUS ENG

VIDEO LIBRARY


XVII Summer School "Contemporary Mathematics", 2017 July 28, 2017 15:30, Dubna

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

V. N. Bragilevsky

https://youtu.be/RtWBk_BzG9c

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