| Форма представления | Российские монографии |
| Год публикации | 2025 |
| Язык | русский |
|
Арсланов Марат Мирзаевич, автор
|
| Библиографическое описание на языке оригинала |
Арсланов М.М. Иерархия Ершова/М.М. Арсланов.-Казань, из-во АН РТ, 2024.-405 с. |
| Аннотация |
Книга посвящена активно развиваемому разделу теории вычислимости - разностной иерархии Ершова. Подробно изложены алгоритмические, теоретико-модельные и алгебраические свойства иерархии, а также верхних полурешеток, образованных их тьюринговыми степенями неразрешимости. |
| Ключевые слова |
вычислимые множества, сводимость по Тьюрингу, степень неразрешимости, элементарная теория, конечная решетка, рарешимая теория |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=313799 |
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Арсланов Марат Мирзаевич |
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/?p_id=313799 |
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 |
Российские монографии |
ru_RU |
|
EN 
中文 
ES 
Карта сайта
