|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2005 |
| 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 стр. |
|
1981 |
| 8. |
С. В. Попов, “Неразрешимое промежуточное исчисление”, Алгебра и логика, 20:6 (1981), 654–706  |
|
1976 |
| 9. |
С. В. Попов, “О сложности выводов в классическом исчислении высказываний”, Докл. АН СССР, 228:5 (1976), 1041–1044  |
|
|
|
1999 |
| 10. |
С. В. Попов, “Международная олимпиада "Туймаада»”, Матем. обр., 1999, № 2-3(9-10), 102–121 |
|
Обратная связь: