RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Брагилевский Виталий Николаевич

В базах данных Math-Net.Ru
Лекций и докладов: 4

Статистика просмотров:
Эта страница:74
Сайт: https://sfedu.ru/person/bravit

Основные темы научной работы

Теория языков программирования Формальные методы в программировании Функциональные языки программирования


http://www.mathnet.ru/rus/person131369
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

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

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018