Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
ЛЕКЦИИ ПО ТЕОРИИ ВЫЧИСЛИМОСТИ (ИЕРАРХИЯ ЕРШОВА)
Форма представленияЗарубежные монографии
Год публикации2014
  • Арсланов Марат Мирзаевич, автор
  • Другие авторы Хисамиев Назиф Гарифуллинович
    Библиографическое описание на языке оригинала М.М. Арсланов, Н.Г. Хисамиев. Лекции по теории вычислимости (иерархия Ершова), Восточно-Казахстанский государственный университет им. Д Cерикбаева. Усть-Каменогорск, 2014.
    Аннотация Книга содержит изложение теории вычислимости. Рассмотрены разделы о конструктивных ординалах, теоретико-множественные свойства иерархии Ершова, основанные на таких ординалах, а также теорию степеней неразрешимости конечных уровней иерархии.
    Ключевые слова Степени неразрешимости, иерархия Ершова, ординалы, системы обозначений, арифметическая иерархия
    Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку https://repository.kpfu.ru/?p_id=90725

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