Ta上传的资源 (0)

副标题:他的生平、思想及论文解读原作名:TheAnnotatedTuring作者:CharlesPetzold图灵机是英国数学家阿兰·麦席森·图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,也附带了大量的历