Toggle navigation
НАО «ЮРИНФОР»
image/svg+xml
О нас
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Мероприятия
Проекты
Краудсорсинг
Совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Материалы
Глоссарий
Наши статьи
Задать вопрос
Фоторепортажи
НАО «ЮРИНФОР»
Войти
Зарегистрироваться
image/svg+xml
О нас
Мероприятия
Проекты
Материалы
Задать вопрос
Фоторепортажи
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Краудсорсинг
Совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Глоссарий
Наши статьи
Подписаться на новости
Отписаться
Новости
Семинар «Особенности и недостатки среды разработки на Idris (версия 0.5.1.)»
состоялся 21 июля (18.00) 2022 г.
21.07.2022
Семинар «Логика и конечные множества в доказательном программировании».
состоялся 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
Семинар «Генерация слов контекстно-зависимого языка на примере термов ламбда-исчисления»
состоялся 21 марта (18.00) 2022 г.
21.03.2022
Семинар «Рендеринг сцен методом трассировки лучей в евклидовых и римановых пространствах»
состоялся 07 февраля (18.00) 2022 г.
07.02.2022
Семинар «Поддержка типовой корректности кода на JavaScript с использованием средств функционального программирования с зависимыми типами (Idris)».
состоялся 10 января (10.00) 2022 г.
10.01.2022
Семинар «Методы описания анимации контента HTML-страниц с помощью модальной временной логики»
состоялся 23 декабря (10.00) 2021 г.
23.12.2021
Следующая страница