Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Брагилевский Виталий Николаевич
В базах данных Math-Net.Ru
Лекций и докладов: 4

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

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

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

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

Доклады и лекции в базе данных 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   

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