符号逻辑
词语解释
符号逻辑[ fú hào luó jí ]
1.数理逻辑
国语辞典
1.一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效
网络解释
1.符号逻辑
释 符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
相关汉字
词语组词
相关词语
- èr hào rén wù二号人物
- fā hào shī lìng发号施令
- xiān hào hòu xiào先号后笑
- xiān hào hòu qìng先号后庆
- kǒu luó dù zǎn口逻肚攒
- luó ji sī wéi逻辑思维
- suí jī xìn hào随机信号
- diàn huà hào mǎ电话号码
- tí líng hē hào提铃喝号
- shān xī piào hào山西票号
- gé yīn fú hào隔音符号
- shāi luó zhǎng hào筛锣掌号
- biǎo yīn fú hào表音符号
- hù shēn fú zǐ护身符子
- mù kè fú qì木刻符契
- míng bù fú shí名不符实
符号逻辑造句
- 1、半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。
- 2、数理逻辑的延伸符号逻辑到其他领域,特别是研究模型理论,证据理论,集理论,并递归理论。
- 3、数理逻辑,也称为符号逻辑,是当人们终于认识到,数学的工具可以用来研究的结构,逻辑本身。
- 4、本课首先将向你介绍符号逻辑的一个分支,即通常认为成为的句子逻辑或命题逻辑。
- 5、我会给你们一些难题因为,我们在做哲学逻辑,我们在做符号逻辑。
- 6、实验表明,智能神经网络系统组成原理将面向对象、符号逻辑融于神经网络中,提供了构造功能完备的智能系统的途径。