Toggle navigation
НАО «ЮРИНФОР»
image/svg+xml
О нас
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Мероприятия
Проекты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Материалы
Глоссарий
Наши статьи
Задать вопрос
Фоторепортажи
НАО «ЮРИНФОР»
Войти
Зарегистрироваться
image/svg+xml
О нас
Мероприятия
Проекты
Материалы
Задать вопрос
Фоторепортажи
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Глоссарий
Наши статьи
Подписаться на новости
Отписаться
Новости
Семинар «Способы представления конструкций языков разработки моделирующих систем в виде функторов и применения к ним алгебраических методов»
состоялся 20 октября (18.00) 2022 г.
20.10.2022
Семинар «Поддержка интерпретаций модальных операторов в виде абстрактных объектов»
состоялся 22 сентября (18.00) 2022 г.
22.09.2022
Семинар «Логика и конечные множества в доказательном программировании» (часть 3).
состоялся 1 сентября (18.00) 2022 г.
01.09.2022
Семинар «Логика и конечные множества в доказательном программировании» (часть 2).
состоялся 8 августа (18.00) 2022 г.
08.08.2022
Семинар «Особенности и недостатки среды разработки на Idris (версия 0.5.1.)»
состоялся 21 июля (18.00) 2022 г.
21.07.2022
Семинар «Логика и конечные множества в доказательном программировании» (часть 1).
состоялся 14 июля (18.00) 2022 г.
14.07.2022
Семинар «Представление пошагового интерактивного взаимодействия информационных систем средствами теории категорий»
состоялся 27 июня (10.00) 2022 г.
27.06.2022
Семинар «Использование TypeScript с проверкой типов и задания аннотаций типов для проверки и поддержки корректности трансляторов языков представления знаний»
состоялся 14 июня (10.00) 2022 г.
14.06.2022
Семинар «Методы трансляции с обеспечением локальной толерантности к некорректным данным»
состоялся 12 мая (18.00) 2022 г.
12.05.2022
Семинар «Параметризация и типизация конструкций языка диаграмм для описания взаимодействия субъектов»
состоялся 07 апреля (18.00) 2022 г.
07.04.2022
Предыдущая страница
Следующая страница