Вычислимо перечислимые множества и степени
Роберт И. Соар
Перевод книги: Robert I. Soare "Recursively Enumerable Sets and Degrees", Perspectives in Mathematical Logic, Springer, 1999.
Монография профессора Чикагского университета Р.И.Соара, являющаяся наиболее популярной книгой по теории вычислимости. В ней систематически излагается современное состояние теории вычислимости, приводятся открытые проблемы и описываются перспективные направления исследований. Материал дополнен большим количеством упражнений.
Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории вычислимости.
Монография профессора Чикагского университета Р.И.Соара, являющаяся наиболее популярной книгой по теории вычислимости. В ней систематически излагается современное состояние теории вычислимости, приводятся открытые проблемы и описываются перспективные направления исследований. Материал дополнен большим количеством упражнений.
Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории вычислимости.
Categorias:
Ano:
2000
Editora:
Казанское математическое общество
Idioma:
russian
Páginas:
576
ISBN 10:
5900975223
ISBN 13:
9785900975221
Arquivo:
DJVU, 5.05 MB
IPFS:
,
russian, 2000