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