马克思主义学术资源库
国际关系学术资源库
民族边疆学术资源库
中社智库
历史考古学术资源库
党建思政资源库
哲学宗教学术资源库
文学艺术学术资源库
教育研究学术资源库
经济管理学术资源库
政治学学术资源库
中社集刊学术资源库
切换用户
手机阅读
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
郭世铭.递归论导论[M].北京：中国社会科学出版社,1998
MLA 格式引文
郭世铭.递归论导论.北京,中国社会科学出版社:1998E-book.
APA 格式引文
郭世铭(1998).递归论导论.北京：中国社会科学出版社
图书简介
现代逻辑内容很丰富，特别是符号逻辑或称数理逻辑，包括几个分支，如：逻辑演算，集合论，模型论，递归论，证明论等。在古典逻辑演算以外，近年来模态逻辑有了很大的发展，它又被称作哲学逻辑。符号逻辑不仅内容丰富，还和许多学科如哲学、数学、计算机科学、语言学及心理学等有联系，影响及于这些学科，有些影响甚至是带根本性的。我国大学的逻辑专业，计算机专业，数学专业，哲学专业等，都开设和符号逻辑有关的课程。但是，这方面介绍性的书籍和教材在国内还不多见。本丛书的目的是提供一批叙述简明易懂和不需要较多数学知识的入门性书籍和教材。《现代逻辑丛书》被列入国家第七个五年计划期间重点研究课题，由北京大学哲学系逻辑教研室王宪钧教授主编，教研室及校外任课教员执笔编写。算法（algorism）也叫能行方法（effective method）或能行过程（effective procedure），是一个相当古老的概念，其历史可以上溯到古希腊时代。著名的阿基米德辗转相除法和奥拉斯托散纳筛法就是古代算法的两个杰出范例。我们不妨以它们为例分析一下算法的基本特征。例1（阿基米德辗转相除法） 任给两个正整数m和n，可以按如下方法求得它们...
豆瓣评论