点此购买报价￥111.10

目录：图书,其他,

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

基本信息

·出版社：科学出版社

·页码：775 页码

·出版日：2008年

·ISBN：9787030213914

·条码：9787030213914

·版次：1版

·装帧：精装

·开本：16

·中文：中文

·特殊说明：铜板纸

内容简介

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

目录

序

怀念胡世华先生

纪念胡世华先生

我所知的胡世华先生

纪念胡世华先生

纪念胡世华老师

半世纪前的往事

1论人造的语言

2命题演算之所指

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

4理论对象

……

后记

……[看更多目录]

点此购买报价￥111.10

 

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。