胡世华文集|报价￥111.10|图书,其他,中国科学院软件所胡世华等

品牌：中国科学院软件所胡世华等

基本信息

·出版社：科学出版社

·页码：775 页码

·出版日：2008年

·ISBN：9787030213914

·条码：9787030213914

·版次：1版

·装帧：精装

·开本：16

·中文：中文

·特殊说明：铜板纸

内容简介

本集内容主要有三个领域：逻辑演算、递归函数论、科学哲学，共收入58篇文章，1943年发表的“论人造的语言”仔细地介绍并解释了一阶谓词演算。《数理逻辑基础》着重介绍了直观的自然揄的证明格式，这次出版的是胡世华1957年讲稿的原稿，只对其中明显的文字上的不适当之处作了修改，文集编进了多篇多值逻辑、递归函数论的文章，还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章，有几篇文章是未曾发表过的，如《计算机的分“代”和我国的“对策”问题》等。

目录

序

怀念胡世华先生

纪念胡世华先生

我所知的胡世华先生

纪念胡世华先生

纪念胡世华老师

半世纪前的往事

1论人造的语言

2命题演算之所指

3再现算术新系统及其逻辑常词—再现算术RA系统的构造

4理论对象

……

后记

……[看更多目录]

点此购买报价￥111.10

• ·随机粗糙面与目标复合散射数值模拟理论与方法(T
• ·北京段考古发掘报告集|报价￥150.60|图书
• ·数学物理学百科全书4--规范理论;量子场论(《
• ·数学物理学百科全书2--经典力学;流体动力学(
• ·逻辑.信息和互动|报价￥65.30|图书,其他
• ·数学物理学百科全书5--广义相对论;量子引力;
• ·高等数学(上册)(21世纪高等教育规划教材)|
• ·电工电子技术(高等学校规划教材通信技术)|报价
• ·塑料瓶中的创意生活|报价￥17.60|图书,其
• ·美甲集锦AtoZ|报价￥20.00|图书,其他