| 首页 | 帮助 | 高级搜索 | 订单查询 | 留言 | 购物车 |
  |
|
| | 图书音像 | CCTV-7《农广天地》光碟 | 下载中心 | 专题搜索 | 帮助中心┊会员中心 |
| 首页 -> 图书音像 -> 社会科学 -> 哲学 -> 逻辑学 -> |
|
| 首页 | 帮助 | 高级搜索 | 订单查询 | 留言 | 购物车 |
|
|
| | 图书音像 | CCTV-7《农广天地》光碟 | 下载中心 | 专题搜索 | 帮助中心┊会员中心 |
| 首页 -> 图书音像 -> 社会科学 -> 哲学 -> 逻辑学 -> |
|
[数码照片·略有模糊]  
|  详情
| |||||||||||||||
|
小分类导航
|
介绍 本集内容主要有三个领域：逻辑演算、递归函数论、科学哲学，共收入58篇文章．1943年发表的“论人造的语言”仔细地介绍并解释了一阶谓词演算．《数理逻辑基础》着重介绍了直观的自然推理的证明格式，这次出版的是胡世华1957年讲稿的原稿，只对其中明显的文字上的不适当之处作了修改．文集编进了多篇多值逻辑、递归函数论的文章，还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章．有几篇文章是未曾发表过的，如《计算机的分“代”和我国的“对策”问题》等．
|
全新检索 |
||||||||||||||||||||||||
