URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Дёгтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа
Id: 16669
 
799 руб.

Рекурсивно перечислимые множества и сводимости табличного типа

1998. 176 с. Мягкая обложка. ISBN 5-02-014843-1. Букинист. Состояние: 4+. .

 Аннотация

Излагаются основы теории рекурсивных функций с уклоном в сторону изучения свойств рекурсивно перечислимых множеств и различных модификаций понятия сводимости. Не затрагиваются вопросы, связанные со свойствами рекурсивных функций и конкретными алгоритмическими проблемами, но достаточно полно освещается проблематика сводимостей табличного типа.

Для научных работников, аспирантов и студентов, специализирующихся в области алгебры и математической логики.


 Оглавление

ПРЕДИСЛОВИЕ ВВЕДЕНИЕ

Глава 1. Рекурсивно перечислимые множества

§ 1. Рекурсивные функции и перечислимые множества

§ 2. Машины Тьюринга и универсальные функции

§ 3. Классы рекурсивно перечислимых множеств

§ 4. Ретрассируемые и полурекурсивные множества

Глава 2. О решетке рекурсивно перечислимых множеств

§ 5. Определимые семейства РПМ

§ 6. О решеточно инвариантных свойствах РПМ

§ 7. Конструкции с китайскими ящиками

§ 8. РШ-семейства и автоморфизмы Е

§ 9. О факторрешетке S по модулю простых множеств

Глава 3. Об l-сводимости и m-сводимости

§ 10. Сводимости и степени

§ 11. Об l-сводимости

§ 12. Нераспадающиеся и минимальные m-степени

§ 13. О верхней полурешетке Lm

Глава 4. Основные сводимости табличного типа

§ 14. Теорема Булитко---Селиванова

§ 15. Селекторные свойства подмножеств N

§ 16. Строение полу решеток степеней табличного типа

§ 17. Конструкциии с использованием счетчиков

Глава 5. Соотношения между сводимостями

§ 18. Соотношения между полными множествами

§ 19. Соотношения между степенями

§ 20. Соотношения между элементарными теориями

§ 21. Об ограниченной табличной сводимости

СПИСОК ЛИТЕРАТУРЫ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

 
© URSS 2016.

Информация о Продавце