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

数理逻辑史_百科词条

数理逻辑史

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

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

baike.com/2017-03-28

数理逻辑教程_百科词条

》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。 ...内容介绍数理逻辑是思维科学的一个分支,也是数学的一个分支。本书包括...

内容介绍   作者介绍

baike.com/2017-03-28

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

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

内容介绍   作者介绍

baike.com/2017-03-28

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

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

baike.com/2017-03-28

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

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

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

baike.com/2017-03-28

西方逻辑_百科词条

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

baike.com/2017-03-28

中国逻辑_百科词条

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

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

baike.com/2017-03-28

提芬·古克_百科词条

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

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

baike.com/2017-03-28

相关词条

相关热词

相关搜索

搜到相关结果158个