KFU. Card publication. Лекции по теории вычислимости (иерархия Ершова)

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ЛЕКЦИИ ПО ТЕОРИИ ВЫЧИСЛИМОСТИ (ИЕРАРХИЯ ЕРШОВА)

Form of presentation

International monographs

Year of publication

2014

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Other authors

Khisamiev Nazif Garifullinovich

Bibliographic description in the original language

M.M. Arslanov, N.G. Khisamiev. Lekcii po teorii vychislimosti (ierarkhiya Ershova), Vostochno-Kazakhstanskiy gosudarstvennyy universitet im. D Cerikbaeva. Ust-Kamenogorsk, 2014.

Annotation

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

Keywords

Степени неразрешимости, иерархия Ершова, ординалы, системы обозначений, арифметическая иерархия

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	ru_RU
dc.date.accessioned	2014-01-01T00:00:00Z	ru_RU
dc.date.available	2014-01-01T00:00:00Z	ru_RU
dc.date.issued	2014	ru_RU
dc.identifier.citation	М.М. Арсланов, Н.Г. Хисамиев. Лекции по теории вычислимости (иерархия Ершова), Восточно-Казахстанский государственный университет им. Д Cерикбаева. Усть-Каменогорск, 2014.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=90725&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.title	Лекции по теории вычислимости (иерархия Ершова)	ru_RU
dc.type	International monographs	ru_RU