Toggle navigation
НАО «ЮРИНФОР»
image/svg+xml
О нас
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Мероприятия
Проекты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Материалы
Глоссарий
Наши статьи
Задать вопрос
Фоторепортажи
НАО «ЮРИНФОР»
Войти
Зарегистрироваться
image/svg+xml
О нас
Мероприятия
Проекты
Материалы
Задать вопрос
Фоторепортажи
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Глоссарий
Наши статьи
Подписаться на новости
Отписаться
Новости
Семинар «Типизация рекурсивных структур построения типов»
состоялся 27 ноября (18.00) 2023 г.
27.11.2023
Семинар «Семантика языка процессов для разработки моделирующих систем»
состоялся 09 ноября (18.00) 2023 г.
09.11.2023
Семинар «Экстенсиональность функций в гомотопической теории типов».
состоялся 30 октября (18.00) 2023 г.
30.10.2023
Семинар: «Среда для определения и изучения систем зависимых типов и необходимые для неё метатеоретические средства (продолжение)»
состоялся 16 октября (18.00) 2023 г.
16.10.2023
Семинар: «Среда для определения и изучения систем зависимых типов и необходимые для неё метатеоретические средства»
состоялся 12 октября (18.00) 2023 г.
12.10.2023
Семинар: «Задача построения оснований компьютинга на основе гомотопической теории типов»
состоялся 5 октября (18.00) 2023 г.
05.10.2023
Семинар: «Идентификация объектов средствами гомотопической теории типов»
состоялся 18 сентября (18.00) 2023 г.
18.09.2023
Семинар: «Гомотопии и эквивалентности в гомотопической теории типов»
состоялся 28 августа (18.00) 2023 г.
28.08.2023
Семинар: «Транспортировка в гомотопической теории типов»
состоялся 24 августа (18.00) 2023 г.
24.08.2023
Семинар: «Структура группоида высшего порядка в гомотопической теории типов»
состоялся 21 августа (18.00) 2023 г.
21.08.2023
Предыдущая страница
Следующая страница
Разработчик