Российский открытый архив препринтов — по образцу arXiv.org (Cornell / Los Alamos) Открытый архив препринтов Telegram MAX О проекте Вход для авторов
Добавить статью Вход для авторов
Подписаться на канал:

Поиск по архиву

 



Некоторые вопросы теории сложности вычислений с точки зрения элементарной теории моделей

... теории сложности вычислений: каково... ... сложности NP и co-NP? Для ответа на этот... ... соответствующим образом оракульные вычисления... ... произвольной формуле исчисления высказываний... ...?co-\mathcal{NP}$. Part I Исчисление равенств для вычисления замкнутых термов Пусть алфавиты... ... функтора и его местности: Слова вида: $\mathbf{Z}... ... понятие: а) $\Lambda$ - аргументное слово... ... виде $x_l$. Понятие терма. Всякое аргументное...

Изменен: 08.06.2026
Путь: АрхивОрг. Все научные статьи на русском языке в одном месте. / Статьи по математике
Некоторые вопросы теории сложности вычислений, с точки зрения элементарной теории моделей

Некоторые вопросы теории сложности вычислений, с точки зрения элементарной теории моделей %%%%

Изменен: 28.09.2025
Путь: АрхивОрг. Все научные статьи на русском языке в одном месте. / Статьи по математике

Сортировать по релевантности | Отсортировано по дате