切换用户
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
郭世铭.递归论导论[M].北京：中国社会科学出版社,1998
MLA 格式引文
郭世铭.递归论导论.北京,中国社会科学出版社:1998E-book.
APA 格式引文
郭世铭(1998).递归论导论.北京：中国社会科学出版社
图书简介
现代逻辑内容很丰富，特别是符号逻辑或称数理逻辑，包括几个分支，如：逻辑演算，集合论，模型论，递归论，证明论等。在古典逻辑演算以外，近年来模态逻辑有了很大的发展，它又被称作哲学逻辑。符号逻辑不仅内容丰富，还和许多学科如哲学、数学、计算机科学、语言学及心理学等有联系，影响及于这些学科，有些影响甚至是带根本性的。我国大学的逻辑专业，计算机专业，数学专业，哲学专业等，都开设和符号逻辑有关的课程。但是，这方面介绍性的书籍和教材在国内还不多见。本丛书的目的是提供一批叙述简明易懂和不需要较多数学知识的入门性书籍和教材。《现代逻辑丛书》被列入国家第七个五年计划期间重点研究课题，由北京大学哲学系逻辑教研室王宪钧教授主编，教研室及校外任课教员执笔编写。算法（algorism）也叫能行方法（effective method）或能行过程（effective procedure），是一个相当古老的概念，其历史可以上溯到古希腊时代。著名的阿基米德辗转相除法和奥拉斯托散纳筛法就是古代算法的两个杰出范例。我们不妨以它们为例分析一下算法的基本特征。例1（阿基米德辗转相除法） 任给两个正整数m和n，可以按如下方法求得它们...
作者简介
图书目录
相关推荐
-
图书 经济控制论导论
作者：〔波兰〕奥斯卡·兰格
图书 经济控制论导论
-
2
图书 中国哲学原论·导论篇
作者：唐君毅
图书 中国哲学原论·导论篇
-
3
图书 东亚电影导论
作者：黄献文
图书 东亚电影导论
-
4
图书 逻辑导论
作者：〔美〕P·苏佩斯 宋文淦
图书 逻辑导论
-
5
图书 斐洛思想导论.2
作者：章雪富
图书 斐洛思想导论.2
-
6
图书 哲学导论
作者：沈湘平
图书 哲学导论
-
7
图书 角色学导论
作者：秦启文 周永康
图书 角色学导论
-
8
图书 伦理与环境：导论
作者：（美）戴尔·杰米森 李海莹 陈雅慧 尹宏威
图书 伦理与环境：导论
-
9
图书 文艺消费导论
作者：何志钧
图书 文艺消费导论
-
10
图书 国学经典导论
作者：俞秀玲
图书 国学经典导论
豆瓣评论