中文百科,中文百科全书

首页 > 百科 > 数理科学 >

布尔代数

布尔代数 ( 英语 :Boolean algebra), 英国 数学 家 G.布尔 为了研究 思维 规律( 逻辑学 、 数理逻辑 )于1847和1854年提出的 数学模型 。此后 R.戴德金 把它作为一种特殊的格。所谓一个布尔代数,是... [詳情]

数理逻辑

数理逻辑 ( 英语 :mathematical logic),用 数学 的方法研究逻辑推理和数学计算,将推理论证、数学计算的过程符号化、形式化、公理化的 学科 。数学的分支。又称 符号逻辑 、 数学逻辑 。相对... [詳情]

公理集合论

公理集合论 ( 英语 :Axiomatic Set Theory), 数理逻辑 的主要分支之一。1908年, E.F.F.策梅洛 首开先河,提出了第一个 集合论 公理系统,旨在克服集合论中出现的悖论。20世纪20年代, A.A.弗伦克尔... [詳情]

一般拓扑学

一般拓扑学 ( 英语 :Geoneral Topology),用点集的方法研究拓扑不变量的拓扑分支。它的前身是点集拓扑学。点集拓扑学产生于19世纪。 G.康托尔 建立了 集合论 ,定义了欧几里得空间中的开集、闭... [詳情]

几何学

几何学 ( 汉语拼音 : jǐ hé xué ; 英语 :Geometry),简称 几何 , 数学 中最古老的一门分科。是研究空间区域关系的数学分支。现代 概念 上的几何其抽象程度和一般化程度大幅提高,并与分析... [詳情]

物理学

物理学 ( 汉语拼音 :Wulixue; 拉丁语 :Physica; 希腊语 :Φυσική; 英语 :Physics),探讨 物质 与 运动 基本 规律 的 科学 。内容包括物质结构以及物质运动形式和它们之间的改变与转化。... [詳情]

百科词条

许焯权水彩画速写 香港开展

浏览:51167次

计算机科学

浏览:11117次

哥特式建筑

浏览:11099次

嫦娥三号

浏览:9563次

神舟十一号飞船

浏览:9482次

魏紫

浏览:9192次

律诗

浏览:9156次

姚黄

浏览:9053次

嫦娥二号

浏览:9040次

最新资讯