- Об институте
 - Инновации
 - Структура
                    
- Отдел "Архитектуры вычислительных систем"
 - Отдел "Информационных систем"
 - Отдел "Компиляторных технологий"
 - Отдел "Системного программирования"
 - Отдел "Системной интеграции и прикладных программных комплексов"
 - Отдел "Теоретической информатики"
 - Отдел "Технологий программирования"
 - Ученый совет
 - Диссертационный совет
 - Центр верификации ОС Linux
 - Исследовательский центр доверенного искусственного интеллекта
 - Центр компетенции по параллельным и распределенным вычислениям
 
 - Образование
 - Издания
 - Новости
 - Лицензии
 
Новости
		
			28 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			23 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			17 Октября, 2025
				            Конкурс на замещение должности
		
	
Матиясевич Ю.В.
[1967]
Простые примеры неразрешимых 
ассоциативных исчислений
ДАН СССР, 
173,  № 6, 1264-1266
67.12.55.
статья
На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
        Понятно