胡世华文集

出版社:科学出版社
出版日期:2008年5月
ISBN:9787030213914
作者:胡世华
页数:775页

作者简介

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


 胡世华文集下载



发布书评

 
 


 

外国儿童文学,篆刻,百科,生物科学,科普,初中通用,育儿亲子,美容护肤PDF图书下载,。 零度图书网 

零度图书网 @ 2024