Попов С В

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

1. О длине вычислений арифметических программ
   
   Препринты ИПМ им. М. В. Келдыша, 2005, 136, 32 стр.
2. Свойства логической энтропии
   
   Препринты ИПМ им. М. В. Келдыша, 2005, 135, 36 стр.
3. Логическая энтропия
   
   Препринты ИПМ им. М. В. Келдыша, 2005, 084, 27 стр.
4. О локальности информационных систем
   
   Препринты ИПМ им. М. В. Келдыша, 2005, 078, 23 стр.
5. О проектировании информационных систем
   
   Препринты ИПМ им. М. В. Келдыша, 2005, 075, 28 стр.
6. Об устранимости аксиомы индукции
   
   Препринты ИПМ им. М. В. Келдыша, 2005, 009, 28 стр.
7. На пути к метапсихологии
   
   Препринты ИПМ им. М. В. Келдыша, 2005, 005, 14 стр.
8. Неразрешимое промежуточное исчисление
   
   Алгебра и логика, 20:6 (1981),  654–706
9. О сложности выводов в классическом исчислении высказываний
   
   Докл. АН СССР, 228:5 (1976),  1041–1044


10. Международная олимпиада "Туймаада»
    
    Матем. обр., 1999, № 2-3(9-10),  102–121