| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив |
|
1975, том 49
|
| | | Общая информация | | | Содержание | | |
|
Возможности операций одноместного суммирования и одноместного ограниченного умножения Н. К. Косовский |
3 | |
|
|
Мутационные исчисления С. Ю. Маслов |
7 | |
|
|
О метаматематическом подходе к доказательству теорем дискретной математики Ю. В. Матиясевич |
31 | |
|
|
Трансфинитные развертки арифметических формул Г. Е. Минц |
51 | |
|
|
Финитное исследование трансфинитных выводов Г. Е. Минц |
67 | |
|
|
Финитный подход к задаче оптимизации алгорифмов установления выводимости А. О. Слисенко |
123 | |
|
|
Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов Р. И. Фрейдзон |
131 | |
|
|
О некоторых постулатах общей систематики А. А. Любищев |
159 | |