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

Добро пожаловать, уважаемые коллеги! Мы вам рады!!

Сайт Института Математики и Механики УрО РАН - www.imm.uran.ru


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

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

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

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

Теория визуализации и теория компьютерной метафоры
Специализированные системы визуализации
Научная визуализация и визуализация программного обеспечения для параллельных вычислений
Параллельные направления

Магистерские диссертации
Бакалавры

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

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

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