Toggle navigation
НАО «ЮРИНФОР»
image/svg+xml
О нас
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Мероприятия
Проекты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Материалы
Глоссарий
Наши статьи
Задать вопрос
Фоторепортажи
НАО «ЮРИНФОР»
Войти
Зарегистрироваться
image/svg+xml
О нас
Мероприятия
Проекты
Материалы
Задать вопрос
Фоторепортажи
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Глоссарий
Наши статьи
Подписаться на новости
Отписаться
Новости
Семинар: «Рекурсия для зависимых пар в гомотопической теории типов».
состоялся 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
Семинар «Модель семантического конфигурирования с естественными преобразованиями»
состоялся 15 мая (18.00) 2023 г.
15.05.2023
Семинар «Передний край концептуальной математики и когнитивного моделирования» (часть 2)
состоялся 14 апреля (18.00) 2023 г.
14.04.2023
Семинар «Передний край концептуальной математики и когнитивного моделирования» (часть 1)
состоялся 13 апреля (18.00) 2023 г.
13.04.2023
Семинар «Техника создания инсталляционных deb-пакетов для Debian-совместимых Linux систем»
состоялся 10 апреля (18.00) 2023 г.
10.04.2023
Семинар «Использование CodeIgniter для семантического управления ссылками»
состоялся 27 марта (10.00) 2023 г.
27.03.2023
Предыдущая страница
Следующая страница
Разработчик