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