- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Hirschfeldt D. R., Kjos-Hanssen B., Jockusch C.G. Jr., Lempp S., Slaman T.A. ...
Новости
24 Декабря, 2024
На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта
07 Декабря, 2024
Прощание с академиком Е.П. Велиховым
06 Декабря, 2024
Опрос Министерства науки и высшего образования Российской Федерации
Hirschfeldt D. R.,
Kjos-Hanssen B., Jockusch C.G. Jr., Lempp S.,
Slaman T.A.
[2008]
The strength of some combinatorial principles related to Ramsey’s theorem for pairs
Proc. IMS Workshop “Computational Prospects of Infinity”, (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 143-162
?
article