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

数理逻辑史_百科词条

数理逻辑史

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

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

baike.com/2017-11-22

数理逻辑教程_百科词条

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

内容介绍   作者介绍

baike.com/2017-11-22

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

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

内容介绍   作者介绍

baike.com/2017-11-22

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

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

baike.com/2017-11-22

西方逻辑_百科词条

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

西方逻辑史   正文   配图   相关连接

baike.com/2017-11-22

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

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

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

baike.com/2017-11-22

中国逻辑_百科词条

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

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

baike.com/2017-11-22

提芬·古克_百科词条

斯蒂芬·库克(Stephen A. Cook)1961年从University of Michigan获得其学士学位,于1962年和1966年从哈佛大学...

简介   成果   背景   历程   图灵奖演说

baike.com/2017-11-22

逻辑_百科词条

要是数理逻辑和广义模态逻辑)或逻辑的专业知识,有较为精深的研究;把握...专题研究等。 (2)硕士学位 基础理论课逻辑学研究,数理逻辑,西方逻辑...学科概况 逻辑逻辑学是一门以推理形式为主要研究对象的学科,具有工具性...

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

baike.com/2017-11-22

相关词条

相关热词

相关搜索

搜到相关结果157个