- Об институте
 - Инновации
 - Структура
                    
- Отдел "Архитектуры вычислительных систем"
 - Отдел "Информационных систем"
 - Отдел "Компиляторных технологий"
 - Отдел "Системного программирования"
 - Отдел "Системной интеграции и прикладных программных комплексов"
 - Отдел "Теоретической информатики"
 - Отдел "Технологий программирования"
 - Ученый совет
 - Диссертационный совет
 - Центр верификации ОС Linux
 - Исследовательский центр доверенного искусственного интеллекта
 - Центр компетенции по параллельным и распределенным вычислениям
 
 - Образование
 - Издания
 - Новости
 - Лицензии
 
Новости
		
			28 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			23 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			17 Октября, 2025
				            Конкурс на замещение должности
		
	
Axt P.
[1966]
Iteration of relative primitive recursion
Z. math. Logik und Grundl. Math., 
11, № 3, 253-255 
(Русский перевод в сб.   Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций.  (Козмидиади В.А., Мучник А.А.-редакторы),  М., Мир,  1970, 
118 -122.)
67.03.46
O
article
На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
        Понятно