КФУ. Карточка публикации. Лекции по теории вычислимости (иерархия Ершова)

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

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

Форма представления

Зарубежные монографии

Год публикации

2014

Авторы, сотрудники КФУ

Арсланов Марат Мирзаевич, автор

Другие авторы

Хисамиев Назиф Гарифуллинович

Библиографическое описание на языке оригинала

М.М. Арсланов, Н.Г. Хисамиев. Лекции по теории вычислимости (иерархия Ершова), Восточно-Казахстанский государственный университет им. Д Cерикбаева. Усть-Каменогорск, 2014.

Аннотация

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

Ключевые слова

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=90725

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Арсланов Марат Мирзаевич	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/?p_id=90725	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	Зарубежные монографии	ru_RU