符号逻辑的读音 符号逻辑的意思

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

“符号逻辑”的读音

拼音读音
[fú hào luó ji]
汉字注音:
ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧ
简繁字形:
符號邏輯
是否常用:

“符号逻辑”的意思

基本解释

基本解释

数理逻辑。

辞典解释

符号逻辑  fú hào luó jí  ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ  

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

网络解释

符号逻辑

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

“符号逻辑”的单字解释

】:1.符节:兵符。虎符(虎形的兵符)。2.代表事物的标记;记号:符号。音符。3.符合(多跟“相”或“不”合用):两个数目相符。他所说的与事实不符。4.道士所画的一种图形或线条,声称能驱使鬼神、给人带来祸福:护身符。画了一张符。5.姓。
】:[hào]1.名称:国号。年号。2.原指名和字以外另起的别号,后来也指名以外另起的字:苏轼字子瞻,号东坡。孔明是诸葛亮的号。3.商店:商号。银号。分号。宝号。4.标志;信号:记号。问号。加减号。暗号儿。击掌为号。5.排定的次第:挂号。编号。6.表示等级:大号。中号。小号。五号字。7.种;类:这号人甭理他。这号生意不能做。8.(号儿)指某种人员:病号。伤号。彩号。9.表示次序(多放在数字后)。a)一般的:第三号简报。门牌二号。b)特指一个月里的日子:五月一号是国际劳动节。10.姓。11.号令:发号施令。12.号筒。13.军队或乐队里所用的西式喇叭。14.用号吹出的表示一定意义的声音:起床号。集合号。冲锋号。[háo]1.拖长声音大声叫唤:呼号。号叫。北风怒号。2.大声哭:哀号。
】:巡察:巡逻。逻骑。逻卒。
】:1.编辑;辑录。2.整套书籍、资料等按内容或发表先后次序分成的各个部分:新闻简报第一辑。这部丛书分为十辑,每辑五本。

“符号逻辑”的相关词语

“符号逻辑”造句

实验表明,智能神经网络系统组成原理将面向对象、符号逻辑融于神经网络中,提供了构造功能完备的智能系统的途径。

本课首先将向你介绍符号逻辑的一个分支,即通常认为成为的句子逻辑或命题逻辑。

符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。

符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。

数理逻辑的延伸符号逻辑到其他领域,特别是研究模型理论,证据理论,集理论,并递归理论。

符号逻辑支配的消费社会,产品语意学无疑成为产品由明晰的实用功能转向潜移默化的文化积淀的利器。

符号逻辑往往分为两个分支,命题逻辑和谓词逻辑。

于是对符号逻辑的研究成为学术热点,法国哲学家鲍德里亚就是一位典型代表。

数理逻辑,也称为符号逻辑,是当人们终于认识到,数学的工具可以用来研究的结构,逻辑本身。

介绍一种用循环多层感知器神经网络实现符号逻辑推理系统的方法。

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