KFU. Card publication. Иерархия Ершова

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ИЕРАРХИЯ ЕРШОВА

Form of presentation

Russian monographs

Year of publication

2025

Язык

русский

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Bibliographic description in the original language

Arslanov M.M. Ierarkhiya Ershova/M.M. Arslanov.-Kazan, iz-vo AN RT, 2024.-405 s.

Annotation

Книга посвящена активно развиваемому разделу теории вычислимости - разностной иерархии Ершова. Подробно изложены алгоритмические, теоретико-модельные и алгебраические свойства иерархии, а также верхних полурешеток, образованных их тьюринговыми степенями неразрешимости.

Keywords

вычислимые множества, сводимость по Тьюрингу, степень неразрешимости, элементарная теория, конечная решетка, рарешимая теория

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=313799&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	ru_RU
dc.date.accessioned	2025-01-01T00:00:00Z	ru_RU
dc.date.available	2025-01-01T00:00:00Z	ru_RU
dc.date.issued	2025	ru_RU
dc.identifier.citation	Арсланов М.М. Иерархия Ершова/М.М. Арсланов.-Казань, из-во АН РТ, 2024.-405 с.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=313799&p_lang=2	ru_RU
dc.description.abstract	Книга посвящена активно развиваемому разделу теории вычислимости - разностной иерархии Ершова. Подробно изложены алгоритмические, теоретико-модельные и алгебраические свойства иерархии, а также верхних полурешеток, образованных их тьюринговыми степенями неразрешимости.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	вычислимые множества	ru_RU
dc.subject	сводимость по Тьюрингу	ru_RU
dc.subject	степень неразрешимости	ru_RU
dc.subject	элементарная теория	ru_RU
dc.subject	конечная решетка	ru_RU
dc.subject	рарешимая теория	ru_RU
dc.title	Иерархия Ершова	ru_RU
dc.type	Russian monographs	ru_RU