- Об институте
 - Инновации
 - Структура
                    
- Отдел "Архитектуры вычислительных систем"
 - Отдел "Информационных систем"
 - Отдел "Компиляторных технологий"
 - Отдел "Системного программирования"
 - Отдел "Системной интеграции и прикладных программных комплексов"
 - Отдел "Теоретической информатики"
 - Отдел "Технологий программирования"
 - Ученый совет
 - Диссертационный совет
 - Центр верификации ОС Linux
 - Исследовательский центр доверенного искусственного интеллекта
 - Центр компетенции по параллельным и распределенным вычислениям
 
 - Образование
 - Издания
 - Новости
 - Лицензии
 
Новости
		
			28 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			23 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			17 Октября, 2025
				            Конкурс на замещение должности
		
	
Minsky M.L.
[1967]
Computations:Finite and infinite machines
Prentice-Hall, Inc., N.J
(Имеется русский перевод.)
?
O
book
На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
        Понятно