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

Семинар

 
Семинар

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

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

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



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

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



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

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




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


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


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

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

Открыть раздел Семинар
Это интересноНовые технологии, интересные события, и новости сектора. См. также раздел Очевидное и невероятное....

Открыть раздел Это интересно