Toggle navigation
НАО «ЮРИНФОР»
image/svg+xml
О нас
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Мероприятия
Проекты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Материалы
Глоссарий
Наши статьи
Задать вопрос
Фоторепортажи
НАО «ЮРИНФОР»
Войти
Зарегистрироваться
image/svg+xml
О нас
Мероприятия
Проекты
Материалы
Задать вопрос
Фоторепортажи
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Глоссарий
Наши статьи
Подписаться на новости
Отписаться
Новости
Семинар «Экстенсиональность функций в гомотопической теории типов».
состоялся 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
Семинар: «Пути и операции над ними в гомотопической теории типов»
состоялся 17 августа (18.00) 2023 г.
17.08.2023
Семинар: «Пропозициональное равенство в гомотопической теории типов»
состоялся 14 августа (18.00) 2023 г.
14.08.2023
Следующая страница
Разработчик