搜索 数理逻辑史 共搜索到约211个结果

数理逻辑史_百科词条

数理逻辑史

以演绎方法为中心内容的形式逻辑已有2000多年的历史。最早从形式结构来论述演绎推理的著作是古希腊亚里士多德的《工具论》。自亚里士多德起至17世纪后期是形式逻辑的古典阶段。古典形式逻辑包括几种常见的演绎推理和最简...

概述   发展   关于数学基础的争论   直觉主义   希尔伯特方案   更多>>

baike.com/2019-07-23

数理逻辑教程_百科词条

《数理逻辑教程》是2002年3月上海人民出版社出版的图书,作者陈慕泽。

内容介绍   作者介绍

baike.com/2019-07-23

数理逻辑教程》_百科词条

《数理逻辑教程》是一部由陈慕泽创作的关于数理逻辑的书籍。

内容介绍   作者介绍

baike.com/2019-07-23

数理逻辑发展史:从莱布尼茨到哥德尔_百科词条

内容介绍第一章 导论第一节 数理逻辑史的研究对象和分期第二节 数理逻辑史研究中的几个方法论问题一 数理逻辑理论的发生和发展同社会实践的辩证关系...逻辑学说第一编 数理逻辑前史——古典形式逻辑时期第二章 亚里士多德的三段论...

baike.com/2019-07-23

弗雷格逻辑哲学与现代数理逻辑思潮_百科词条

《弗雷格逻辑哲学与现代数理逻辑思潮》分为上下两部分。第一部分,着重分析和剖析了佛雷格逻辑哲学的思想部分;第二部分,作者从弗雷格逻辑哲学出发对现代数理逻辑...

图书信息   内容提要   编辑推荐   作者简介   目录

baike.com/2019-07-23

西方逻辑_百科词条

主要指形式逻辑和归纳逻辑在西方孕育、产生和发展的历史。它大致分为 4个时期:①古希腊罗马时期的逻辑;②欧洲中世纪时期的逻辑;③自文艺复兴开始的近代时期的...

古希腊逻辑   欧洲中世纪逻辑   近代逻辑   现代逻辑   参考书目

baike.com/2019-07-23

中国逻辑_百科词条

本文简要介绍的中国的逻辑史,重点介绍了发展过程和重要阶段,以及中国逻辑思想的主要特点。

中国逻辑史   正文   配图   相关连接

baike.com/2019-07-23

逻辑_百科词条

逻辑史,又称理则史,指逻辑学的发展史。 在古埃及和巴比伦都发现逻辑学的萌芽。但现在所使用的逻辑学产生于古希腊时期。与此同时,印度和中国也独立地发展了逻辑...

学科概况   培养目标   业务范围

baike.com/2019-07-23

中国科学技术_百科词条

中国古代科学技术的发明非常繁多,李约瑟在《中国科学技术史》一书中,把中国一些著名的技术发明由A到Z列到26项。李约瑟说,中国的文献考古证据和图画见证,清...

历史基础   发展历程   高新技术成就

baike.com/2019-07-23

相关词条

相关热词

相关搜索

搜到相关结果211个