书籍详情
可计算性(影印版)
作者:Douglas S.Bridges
出版社:北京世图
出版时间:1997-09-01
ISBN:9787506233095
定价:¥42.00
内容简介
暂缺《可计算性(影印版)》简介
作者简介
暂缺《可计算性(影印版)》作者简介
目录
Preface
Preliminaries
WhatIsaTuringMachine?
ComputablePartialFunctions
EffectiveEnumerations
ComputableNumbersandFunctions
Rice'sTheoremandtheRecursionTheorem
AbstractComplexityTheory
SolutionstoExercises
SolutionsforChapter1
SolutionsforChapter2
SolutionsforChapter3
SolutionsforChapter4
SolutionsforChapter5
SolutionsforChapter6
References
Index
Preliminaries
WhatIsaTuringMachine?
ComputablePartialFunctions
EffectiveEnumerations
ComputableNumbersandFunctions
Rice'sTheoremandtheRecursionTheorem
AbstractComplexityTheory
SolutionstoExercises
SolutionsforChapter1
SolutionsforChapter2
SolutionsforChapter3
SolutionsforChapter4
SolutionsforChapter5
SolutionsforChapter6
References
Index
猜您喜欢