收藏 纠错 引文

递归论导论

ISBN:7-5004-2295-4

出版日期:1998-01

页数:185

字数:138.0千字

丛书名:《现代逻辑丛书》

点击量:7317次

中图法分类:
出版单位:
关键词:
专题:
基金信息: 国家社会科学基金 展开
折扣价:¥6.6 [6折] 原价:¥11.0 立即购买电子书

图书简介

现代逻辑内容很丰富,特别是符号逻辑或称数理逻辑,包括几个分支,如:逻辑演算,集合论,模型论,递归论,证明论等。在古典逻辑演算以外,近年来模态逻辑有了很大的发展,它又被称作哲学逻辑。符号逻辑不仅内容丰富,还和许多学科如哲学、数学、计算机科学、语言学及心理学等有联系,影响及于这些学科,有些影响甚至是带根本性的。我国大学的逻辑专业,计算机专业,数学专业,哲学专业等,都开设和符号逻辑有关的课程。但是,这方面介绍性的书籍和教材在国内还不多见。本丛书的目的是提供一批叙述简明易懂和不需要较多数学知识的入门性书籍和教材。《现代逻辑丛书》被列入国家第七个五年计划期间重点研究课题,由北京大学哲学系逻辑教研室王宪钧教授主编,教研室及校外任课教员执笔编写。算法(algorism)也叫能行方法(effective method)或能行过程(effective procedure),是一个相当古老的概念,其历史可以上溯到古希腊时代。著名的阿基米德辗转相除法和奥拉斯托散纳筛法就是古代算法的两个杰出范例。我们不妨以它们为例分析一下算法的基本特征。例1(阿基米德辗转相除法) 任给两个正整数m和n,可以按如下方法求得它们...

展开

作者简介

展开

图书目录

本书视频 参考文献 本书图表

相关词

阅读
请支付
×
提示:您即将购买的内容资源仅支持在线阅读,不支持下载!

当前账户可用余额

余额不足,请先充值或选择其他支付方式

请选择感兴趣的分类
选好了,开始浏览
×
推荐购买
×
手机注册 邮箱注册

已有账号,返回登录

×
账号登录 一键登录

没有账号,快速注册

×
手机找回 邮箱找回

返回登录

引文

×
GB/T 7714-2015 格式引文
郭世铭.递归论导论[M].北京:中国社会科学出版社,1998
复制
MLA 格式引文
郭世铭.递归论导论.北京,中国社会科学出版社:1998E-book.
复制
APA 格式引文
郭世铭(1998).递归论导论.北京:中国社会科学出版社
复制
×
错误反馈