【递归论导论】郭世铭中国社会科学.pdf
现代逻辑丛书.此项研究成果受国家社会科学基金资助 递归论导论 郭世铭客
目录8部分数 第二章图灵可计算函粮 2图灵机的基本概 2图灵可计算函数 2正则的图灵机 2 可计算性与函数运 第三章 部分遵归函数 3原始递归函数 3部分递归函数 习题 第四章通用函数和通用围灵机 S4图灵机的算术化 4图灵机的编号 4瞬时横述的编号 4图机的算术化 S4通用函数和通用图灵机 S4对角线方法 习题 第五章 s-m-n 定理和避归定理 5.
《现代逻辑丛书》现代逻辑内容很丰富,特别是符号逻辑或称数理逻辑,包括几 个分支,如:逻辑演算,集合论,模型论,递归论,证明论等。在古典 逻辑演算以外,近年来模态逻辑有了很大的发展,它又被称作哲学 逻辑.符号逻辑不仅内容丰富,还和许多学科如哲学、数学、计算机 科学、语言学及心理学等有联系,影响及于这些学科,有些影响甚 至是带根本性的.我国大学的逻辑专业,计算机专业,数学专业,哲学专业等,都 开设和符号逻辑有关的课程.但是,这方面介绍性的书籍和教材在国内还不多见。本丛书的 目的是提供一批叙述简明易懂和不需要较多数学知识的入门性书 籍和教材。