Косовский Николай Кириллович

Публикации в базе данных Math-Net.Ru

1. Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP
   
   Зап. научн. сем. ПОМИ, 407 (2012),  105–110
2. Градуируемые логические значения для представления знаний
   
   Зап. научн. сем. ПОМИ, 241 (1997),  135–149
3. Уровневые логики
   
   Зап. научн. сем. ПОМИ, 220 (1995),  72–82
4. О распознавании инвариантных свойств коротких алгорифмов
   
   Зап. научн. сем. ЛОМИ, 88 (1979),  73–77
5. О конструктивных функциях распределения
   
   Зап. научн. сем. ЛОМИ, 60 (1976),  59–64
6. Возможности операций одноместного суммирования и одноместного ограниченного умножения
   
   Зап. научн. сем. ЛОМИ, 49 (1975),  3–6
7. О решении систем, состоящих одновременно из уравнений в словах и неравенств в длинах слов
   
   Зап. научн. сем. ЛОМИ, 40 (1974),  24–29
8. Конструктивные варианты законов больших чисел
   
   Тр. МИАН СССР, 129 (1973),  3–23
9. О распознавании инвариантных свойств алгорифмов
   
   Зап. научн. сем. ЛОМИ, 32 (1972),  29–34
10. Некоторые свойства решений уравнений в свободной полугруппе
    
    Зап. научн. сем. ЛОМИ, 32 (1972),  21–28
11. Об алгорифмических последовательностях из начального класса иерархии Гжегорчика
    
    Зап. научн. сем. ЛОМИ, 20 (1971),  60–66
12. О диофантовых представлениях последовательности решений уравнения Пелля
    
    Зап. научн. сем. ЛОМИ, 20 (1971),  49–59
13. Некоторые вопросы конструктивной теории нормированных алгебр Буля
    
    Тр. МИАН СССР, 113 (1970),  3–38
14. Законы больших чисел в конструктивной теории вероятностей
    
    Зап. научн. сем. ЛОМИ, 16 (1969),  105–113
15. Интегрируемые $FR$-конструкты над вероятностным пространством
    
    Зап. научн. сем. ЛОМИ, 16 (1969),  97–104
16. Необходимые и достаточные условия для шпеккеровых свойств вероятностного пространства
    
    Зап. научн. сем. ЛОМИ, 16 (1969),  91–96
17. Построение основных операторов теории сочетаний $K$-алгорифмов из операторов простых типов
    
    Зап. научн. сем. ЛОМИ, 8 (1968),  80–94
18. О системе операторов, упрощающих теорию сочетаний $K$-алгорифмов
    
    Зап. научн. сем. ЛОМИ, 8 (1968),  66–79
19. Достаточные условия неполноты для формализаций частей арифметики
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  44–57


20. Николай Александрович Шанин (некролог)
    
    УМН, 68:4(412) (2013),  173–176