Поиск по архиву
Некоторые вопросы теории сложности вычислений с точки зрения элементарной теории моделей
... \boldsymbol{\delta}(|x|)$, $\vdash |\mathbf{Length}(x)| = \mathbf{Length}(|x|)$, $\vdash |x_1 \dot{-} x_2| = |x_1| \dot{-} |x_2|$, $\vdash |\mathbf{Concat}(x_1, x_2)| = \mathbf{Concat}(|x_1|, |x_2|)$, $\vdash |\mathbf{D}(x_1, x_2)| = \mathbf{D}(|x_1|, |x_2|)$. Part II Простое вычисление функтора С каждым $n$-местным функтором $\Phi$ и последовательностью аргументных слов $\alpha_1, \ldots, \alpha_n$, в дальнейшем обозначаемую как $\overline{\alpha}$,...
Изменен: 08.06.2026Путь: АрхивОрг. Все научные статьи на русском языке в одном месте. / Статьи по математике
Некоторые вопросы теории сложности вычислений, с точки зрения элементарной теории моделей
Некоторые вопросы теории сложности вычислений, с точки зрения элементарной теории моделей %%%%
Изменен: 28.09.2025Путь: АрхивОрг. Все научные статьи на русском языке в одном месте. / Статьи по математике
Сортировать по релевантности | Отсортировано по дате