В книге излагаются теории рекурсивно перечислимых множеств и тьюринговых степеней неразрешимости, важных разделов математической логики. Подробно изучаются строение полурешетки степеней неразрешимости, степени различных классов рекурсивно перечислимых множеств. Рассматриваются такие объекты, как степени неразрешимости, сводящиеся к 0', минимальные степени, исследуются элементарные теории различных полурешеток степеней неразрешимости и излагаются полученные в последние годы результаты о неразрешимости этих теорий. Книга рассчитана на специалистов, работающих в области математической логики.
Марат Мирзаевич Арсланов - доктор наук, член Академии наук Республики Татарстан, заведующий кафедрой алгебры и математической логики Казанского (Приволжского) федерального университета.
Тираж - 1200 экз.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже
