Вычислимо перечислимые множества и степени
Роберт И. Соар
Перевод книги: Robert I. Soare "Recursively Enumerable Sets and Degrees", Perspectives in Mathematical Logic, Springer, 1999.
Монография профессора Чикагского университета Р.И.Соара, являющаяся наиболее популярной книгой по теории вычислимости. В ней систематически излагается современное состояние теории вычислимости, приводятся открытые проблемы и описываются перспективные направления исследований. Материал дополнен большим количеством упражнений.
Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории вычислимости.
Монография профессора Чикагского университета Р.И.Соара, являющаяся наиболее популярной книгой по теории вычислимости. В ней систематически излагается современное состояние теории вычислимости, приводятся открытые проблемы и описываются перспективные направления исследований. Материал дополнен большим количеством упражнений.
Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории вычислимости.
年:
2000
出版社:
Казанское математическое общество
语言:
russian
页:
576
ISBN 10:
5900975223
ISBN 13:
9785900975221
文件:
DJVU, 5.05 MB
IPFS:
,
russian, 2000