数理逻辑。
一种逻辑。不限名词和命题将其关系用数学符号表达而以数学运算的方式据以推断论证命题的结果有执简衘繁的功效。
符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法包括使用符号和公式已有的数学成果和方法，特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨他认为经典的传统逻辑必须改造和发展是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
符 [ fú ] 1. 古代朝廷传达命令或征调兵将用的凭证。 如 虎符。符信。符节。 2. 代表事物的标记、记号。 如 符号。音符。 3. 相合。 如 符合。言行相符。 4. 道士画的驱使鬼神的图形或线条。 如 符咒。护身符。 5. 古代称祥瑞的征兆。 如 符瑞。符应（yìng ）（指天降“符瑞”，与人事相应）。 6. 姓。
号 [ hào ] 1. 名称。 如 国号。年号。字号。 2. 旧指名和字以外的别号。 如 如“李白字太白，号青莲居士”。 3. 记号，标志。 如 信号。暗号。 4. 排定的次序或等级。 如 编号。号码。 5. 扬言，宣称。 如 号称。项羽兵四十万，号百万。 6. 指某种人员。 如 病号。伤号。 7. 标上记号。 如 号房子。把这件东西号上。 8. 号令，命令。 如 发号施号令。号召。 9. 军队或乐队里所用的西式喇叭。 如 吹号。号兵。 10. 量词，用于人数。 如 昨天去了几十号人。 号 [ háo ] 1. 拖长声音大声呼叫。 如 呼号。号叫。 2. 大声哭。 如 哀号。号丧。号啕大哭。
逻 [ luó ] 1. 巡察。 如 巡逻。逻吏（巡逻官）。逻骑。逻卒。 2. 遮拦。 如 “蛛蝥结网工遮逻”。
辑 [ jí ] 1. 聚集，特指聚集材料编书。 如 辑录。辑要。辑逸。编辑。纂辑。 2. 聚集很多材料而成的书刊。 如 丛书第一辑。 3. 和，和睦。 如 辑睦。 4. 敛，拖着不便脱落。 5. 古同“缉”，连缀。 6. 古代称协调驾车的众马。
1、实验表明，智能神经网络系统组成原理将面向对象、符号逻辑融于神经网络中，提供了构造功能完备的智能系统的途径。
2、本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。
3、半符号逻辑是一种新的逻辑分支，它试图突破传统和现代逻辑的局限性，建立一种既严格又易于掌握的逻辑体系。
4、符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
5、数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
6、在符号逻辑支配的消费社会，产品语意学无疑成为产品由明晰的实用功能转向潜移默化的文化积淀的利器。
7、符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
8、数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。
9、介绍一种用循环多层感知器神经网络实现符号逻辑推理系统的方法。
10、我国正在进行的社会主义现代化建设正是超越资本逻辑与符号逻辑的当代实践，正是在为共产主义社会人的最终解放准备条件。
答：符号逻辑的拼音是：fú hào luó jí
点击 图标播放符号逻辑的发音。
答：符号逻辑的意思是：一种逻辑。不限名词和命题，将其关系用数学符号表达，而以数学运算的方式，据以推断论证命题的结果，有执简衘繁的功效。
