- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Орган по сертификации
- Образование
- Издания
- Новости
- Лицензии
Harrington L. A., Soare R.I. ...
Новости
22 Февраля, 2026
Защита диссертаций
05 Февраля, 2026
Конкурс на замещение должности
04 Февраля, 2026
Сергею Петровичу Прохорову 80 лет
Harrington L. A.,
Soare R.I.
[1998]
Definable codable sets and orbits of computably enumerable sets
?
?
article
На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
Понятно