Вычислительная сложность фрагментов теории поля комплексных чисел

В статье обсуждена вычислительная сложность формул в предварённой форме с ограничением на число перемен кванторов. В частности, говорится о теории алгебраически замкнутых полей. Доказано, что распознавание вершин многомерного куба на гиперплоскости сводится к распознаванию особых точек на гиперпове...

وصف كامل

التفاصيل البيبلوغرافية

الحاوية / القاعدة:	Қарағанды университетінің хабаршысы. Математика сериясы
المؤلفون الرئيسيون:	I.V. Latkin, A.V. Seliverstov
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	Academician Ye.A. Buketov Karaganda University 2015-03-01
الموضوعات:	вычислительная сложность теория первого порядка комплексные числа перемена кванторов иерархия классов
الوصول للمادة أونلاين:	http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/10