Брагилевский Виталий Николаевич

Доклады и лекции в базе данных Math-Net.Ru

1. Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 4
   В. Н. Брагилевский
   Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017
   29 июля 2017 г. 09:30   
2. Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 3
   В. Н. Брагилевский
   Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017
   28 июля 2017 г. 15:30   
3. Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 2
   В. Н. Брагилевский
   Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017
   26 июля 2017 г. 09:30   
4. Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 1
   В. Н. Брагилевский
   Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017
   24 июля 2017 г. 17:15