Семинар «Особенности и недостатки среды разработки на 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