符号逻辑
拼音:fú hào luó jí
注音:ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐ一ˊ
词性: 名词

符号逻辑的意思

词语解释:

数理逻辑。

国语词典:

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

网络解释:

符号逻辑

  • 符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
    • 1、实验表明,智能神经网络系统组成原理将面向对象、符号逻辑融于神经网络中,提供了构造功能完备的智能系统的途径。
    • 2、本课首先将向你介绍符号逻辑的一个分支,即通常认为成为的句子逻辑或命题逻辑。
    • 3、符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
    • 4、共产主义社会是超越资本逻辑和符号逻辑之后的社会,在这个社会个人成为全面发展的人,人的解放得以实现!。
    • 5、在符号逻辑支配的消费社会,产品语意学无疑成为产品由明晰的实用功能转向潜移默化的文化积淀的利器。
    • 6、于是对符号逻辑的研究成为学术热点,法国哲学家鲍德里亚就是一位典型代表。 

    字义分解

    • 拼音
    • 注音ㄈㄨˊ
    • 笔划11
    • 繁体
    • 五笔TWFU
    • 五行

    1.符节:兵~。虎~(虎形的兵符)。

    2.代表事物的标记;记号:~号。音~。

    3.符合(多跟“相”或“不”合用):两个数目相~。他所说的与事实不~。

    4.道士所画的一种图形或线条,声称能驱使鬼神、给人带来祸福:护身~。画了一张~。

    5.姓。

    • 拼音hào,háo
    • 注音ㄏㄠˋ,ㄏㄠˊ
    • 笔划5
    • 繁体
    • 五笔KGNB
    • 五行

    hào

    1. 名称:国号。年号。字号。

    2. 旧指名和字以外的别号:如“李白字太白,号青莲居士”。

    3. 记号,标志:信号。暗号。

    4. 排定的次序或等级:编号。号码。

    5. 扬言,宣称:号称。项羽兵四十万,号百万。

    6. 指某种人员:病号。伤号。

    7. 标上记号:号房子。把这件东西号上。

    8. 号令,命令:发号施号令。号召。

    9. 军队或乐队里所用的西式喇叭:吹号。号兵。

    10. 量词,用于人数:昨天去了几十号人。

    háo

    1. 拖长声音大声呼叫:呼号。号叫。

    2. 大声哭:哀号。号丧。号啕大哭。

    • 拼音luó
    • 注音ㄌㄨㄛˊ
    • 笔划11
    • 繁体
    • 五笔LQPI
    • 五行

    (动)巡察:巡~|~骑|~卒。

    • 拼音
    • 注音ㄐㄧˊ
    • 笔划13
    • 繁体
    • 五笔LKBG
    • 五行

    1.  聚集,特指聚集材料编书:辑录。辑要。辑逸。编辑。纂辑。

    2.  聚集很多材料而成的书刊:丛书第一辑。

    3.  和,和睦:辑睦。

    4.  敛,拖着不便脱落。

    5.  古同“缉”,连缀。

    6.  古代称协调驾车的众马。