fú hào luó jí

符号逻辑

拼音
fú hào luó jí
注音
ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ
词性
名词
繁体
符號邏輯

符号逻辑的意思

词语解释

符号逻辑fú hào luó ji

  1. 数理逻辑

国语辞典

符号逻辑fú hào luó jí

  1. 一种逻辑。不限名词命题,将其关系数学符号表达,而以数学运算方式,据以推断论证命题结果,有执简衘繁的功效

网络解释

符号逻辑符号逻辑又称数理逻辑理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少组成部分所谓数学方法就是指数学采用一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典传统逻辑必须改造发展,是之更为精确便于演算后人基本沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键作用。 逻辑是探索阐述确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑

符号逻辑的字义分解

  • 拼音 hàoháo 部首 总笔画 5

    ["名称。 国~。年~。字~。旧指名和字以外的别号。 如“李白字太白,~青莲居士”。记号,标志。 信~。暗号。排定的次序或等级。 编~。~码。扬言,宣称。 ~称。项羽兵四十万,~百万。指某种人员。 病~。伤~。标上记号。 ~房子。把这件东西~上。号令,命令。 发号施~令。~召。军队或乐队里所用的西式喇叭。 吹~。~兵。量词,用于人数。 昨天去了几十~人。","拖长声音大声呼叫。 呼~。~叫。大声哭。 哀~。~丧。~啕大哭。"]详细解释

  • 拼音 部首 总笔画 11

    ["古代朝廷传达命令或征调兵将用的凭证。 虎~。~信。~节。代表事物的标记、记号。 ~号。音~。相合。 ~合。言行相~。道士画的驱使鬼神的图形或线条。 ~咒。护身~。古代称祥瑞的征兆。 ~瑞。~应( yìng )(指天降“符瑞”,与人事相应)。姓。"]详细解释

  • 拼音 部首 总笔画 13

    ["聚集,特指聚集材料编书。 ~录。~要。~逸。编~。纂~。聚集很多材料而成的书刊。 丛书第一~。和,和睦。 ~睦。敛,拖着不便脱落。古同“缉”,连缀。古代称协调驾车的众马。"]详细解释

  • 拼音 luó 部首 总笔画 11

    ["巡察。 巡~。~吏(巡逻官)。~骑。~卒。遮拦:“蛛蝥结网工遮~”。"]详细解释

符号逻辑的分字组词

符号逻辑的相关词语