Аннотация:
Изучаются некоторые естественные постановки и подходы к постановке и решению задач над произвольными алгебраическими системами, не предполагающие нумерацию этих систем. Это дает возможность рассматривать алгоритмические проблемы над существенно неконструктивными, например несчетными, системами. Предлагаемые подходы обобщают классическую вычислимость.
\RBibitem{AshBelMya93}
\by И.~В.~Ашаев, В.~Я.~Беляев, А.~Г.~Мясников
\paper Подходы к теории обобщенной вычислимости
\jour Алгебра и логика
\yr 1993
\vol 32
\issue 4
\pages 349--386
\mathnet{http://mi.mathnet.ru/al2235}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1286784}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2235
https://www.mathnet.ru/rus/al/v32/i4/p349
Эта публикация цитируется в следующих 4 статьяx:
А. И. Стукачев, “О свойствах $s\Sigma$-сводимости”, Алгебра и логика, 53:5 (2014), 625–642; A. I. Stukachev, “Properties of $s\Sigma$-reducibility”, Algebra and Logic, 53:5 (2014), 405–417
Alexey Stukachev, Effective Mathematics of the Uncountable, 2013, 164
А. Н. Рыбалов, “Релятивизации вопроса $P=NP$ над полем комплексных чисел”, Сиб. электрон. матем. изв., 1 (2004), 91–98
А. Н. Рыбалов, “Сложность вычислений в алгебраических системах”, Сиб. матем. журн., 45:6 (2004), 1365–1377; A. N. Rybalov, “Computational complexity in algebraic systems”, Siberian Math. J., 45:6 (2004), 1113–1123
Цитирование в формате AMSBIB
Обратная связь: