:: ::

Семинар

 
Семинар

Заседания семинара Сектора Визуализации проходят в Институте Математики и Механики УрО РАН (см. Контакты) в комнате 303 каждый четверг. Начало в 16.00.

На семинарах рассматриваются актуальные вопросы визуализации высокопроизводительных вычислений, человеко-машинного взаимодействия и смежные вопросы.

Семинар проводится с 1995 года, на текущий момент заслушано более 280 докладов. В сентябре 2010 года принято решение публиковать повестку семинара в сети Интернет. 



 
Когда: 14 июня 2018 в 16:00
Где: 303 комната нового здания ИММ УрО РАН на С. Ковалевской 16.

М.О. Бахтерев выступит с сообщением:
Соответствие Карри-Говарда: прямая связь программирования и математики.
Основные вопросы:
1. Интерпретация логики Брауэра-Гейтинга-Колмогорова.
2. Программы, как доказательства, или доказательства, как программы.
3. λμ-исчисление и классическая логика.
4. Соответствие Карри-Говарда-Лэмбека.



Количество просмотров: Счетчик посещений Counter.CO.KZ - бесплатный счетчик на любой вкус!

Есть вопрос или комментарий?..




Ваше имя Электронная почта
Получать почтовые уведомления об ответах:


| Примечание. Сообщение появится на сайте после проверки модератором.


Вернуться в раздел Семинар

Контакты

+7 (343) 362-81-45
averbukh@imm.uran.ru

г. Екатеринбург, ул. Софьи Ковалевской, 16, каб. 306 (новое здание)
Открыть контакты

Translate
Посетители сайта