НАО «ЮРИНФОР»
ВойтиЗарегистрироваться

Подписаться на новости Отписаться

Новости

Семинар «Логика и конечные множества в доказательном программировании» (часть 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

Семинар «Генерация слов контекстно-зависимого языка на примере термов ламбда-исчисления»

состоялся 21 марта (18.00) 2022 г.
21.03.2022

Семинар «Рендеринг сцен методом трассировки лучей в евклидовых и римановых пространствах»

состоялся 07 февраля (18.00) 2022 г.
07.02.2022
Следующая страница
Контакты
jir Разработчик АО «Центр ЮрИнфоР»
Несанкционированное копирование информации
без ссылки на источник категорически запрещено.