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

Videolibrary

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Video Library
	Archive
	Most viewed videos

	Search
	RSS
	New in collection

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

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

V. N. Bragilevsky

*Video records:*
	MP4	2,829.5 Mb
	MP4	643.3 Mb

Number of views:
This page:	377
Video files:	155
Youtube:

V. N. Bragilevsky

https://youtu.be/5VV5OUV02XE

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

Contact us:

Registration to the website

© Steklov Mathematical Institute RAS, 2024