:: ::

Главная

  • Семинар сектора компьютерной визуализации

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

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



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

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




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


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


    Вернуться в раздел Главная Открыть раздел Новости!
  • 31.05.18 Семинар сектора компьютерной визуализации.
    Дмитрий Николаевич Топорков (ООО "АльтероПауэр") выступит с докладом: "Опыт промышленного использования NoSQL базы данных Cassandra под задачи хранения временных серий данных". Подробнее...
  • 01.03.18 Семинар сектора компьютерной визуализации.
    С лекцией "CRISPR / Cas9 и направленное редактирование генома: новая эра в молекулярной биологии (CRISPR/Cas9 and Targeted Genome Editing: Подробнее...
  • 21.12.17 Семинар сектора компьютерной визуализации.
    Маджид Форгани выступит с докладом: "Новый метод математического моделирования антигенных вариантов вируса гриппа, построенный на основе вейвлет преобразований." Ждем всех! Подробнее...
  • 23.11.17 Семинар сектора компьютерной визуализации.
    Александр Котюсов (Лаборатория мозга и нейрокогнитивного развития. УрФУ)выступит с сообщением:"Ай-трекинг и его применение в исследованиях".Будут рассмотрены следующие вопросы:Для чего нам знать, куда смотрит человек?Как мы это можем сделать? Подробнее...

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


Вернуться в раздел Главная

Контакты

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

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

Список конференций

https://teamup.com/ksderjcf2fk8h8tjp4 

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