| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив |
|
1977, том 68
|
| | | Общая информация | | | Содержание | | |
|
Максимальная последовательность классов, преобразуемых примитивной рекурсией в заданный класс А. П. Бельтюков |
3 | |
|
|
Об одной нижней оценке сложности вычисления семейства дизъюнкций в монотонном базисе Д. Ю. Григорьев |
19 | |
|
|
О задаче трассировки на графах Д. Ю. Григорьев |
26 | |
|
|
Мажорантная семантика гиперарифметических суждений Л. Н. Гордеев |
30 | |
|
|
Один подход к построению конструктивных аналогов теории множеств Л. Н. Гордеев |
38 | |
|
|
Эрбрановы тактики и отношение
“большей выводимости” С. Ю. Маслов, С. А. Норгела |
51 | |
|
|
Простые числа перечисляются полиномом от 10 переменных Ю. В. Матиясевич |
62 | |
|
|
Замкнутые категории и теория доказательств Г. Е. Минц |
83 | |
|
|
Доказательство несовпадения классов простых
примитивно рекурсивных функций С. В. Пахомов |
115 | |
|
|
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга А. О. Слисенко |
123 | |
|
|
Исчисления равенств для классов Гжегорчика М. Х. Фахми |
140 | |