符號邏輯的读音 符號邏輯的意思
符号逻辑 符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
- 符
- 號
- 邏
- 輯
“符號邏輯”的读音
- 拼音读音:
- [fú hào luó jí]
- 汉字注音:
- ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ
- 简繁字形:
- 符号逻辑
- 是否常用:
- 否
“符號邏輯”的意思
基本解释
基本解释
数理逻辑。辞典解释
符号逻辑 fú hào luó jí ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ 一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。
德语 logistisch (Adj)
法语 Logique mathématique
网络解释
符号逻辑
符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
“符號邏輯”的单字解释
【符】:1.符节:兵符。虎符(虎形的兵符)。2.代表事物的标记;记号:符号。音符。3.符合(多跟“相”或“不”合用):两个数目相符。他所说的与事实不符。4.道士所画的一种图形或线条,声称能驱使鬼神、给人带来祸福:护身符。画了一张符。5.姓。
【號】:1.拖長聲音大聲呼叫呼號。號叫。2.大聲哭哀號。號喪。號啕大哭。【典】宋本廣韻,3.名稱國號。年號。字號。4.舊指名和字以外的別號如“李白字太白,號青蓮居士”。5.記號,標誌信號。暗號。6.排定的次序或等級編號。號碼。7.揚言,宣稱號稱。項羽兵四十萬,號百萬。8.指某種人員病號。傷號。9.標上記號號房子。把這件東西號上。10.號令,命令發號施號令。號召。11.軍隊或樂隊裏所用的西式喇叭吹號。號兵。12.量詞,用於人數昨天去了幾十號人。
【邏】:1.巡察:巡邏。邏吏(巡邏官)。邏騎。邏卒。2.遮攔:“蛛蝥結網工遮邏”。
【輯】:同“辑”。
“符號邏輯”的相关词语
* 符號邏輯的读音是:fú hào luó jí,近义词,组词,造句等解释。符號邏輯的意思:符号逻辑 符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
基本解释
数理逻辑。辞典解释
符号逻辑 fú hào luó jí ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。
德语 logistisch (Adj)
法语 Logique mathématique
符号逻辑
符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。【符】:1.符节:兵符。虎符(虎形的兵符)。2.代表事物的标记;记号:符号。音符。3.符合(多跟“相”或“不”合用):两个数目相符。他所说的与事实不符。4.道士所画的一种图形或线条,声称能驱使鬼神、给人带来祸福:护身符。画了一张符。5.姓。
【號】:1.拖長聲音大聲呼叫呼號。號叫。2.大聲哭哀號。號喪。號啕大哭。【典】宋本廣韻,3.名稱國號。年號。字號。4.舊指名和字以外的別號如“李白字太白,號青蓮居士”。5.記號,標誌信號。暗號。6.排定的次序或等級編號。號碼。7.揚言,宣稱號稱。項羽兵四十萬,號百萬。8.指某種人員病號。傷號。9.標上記號號房子。把這件東西號上。10.號令,命令發號施號令。號召。11.軍隊或樂隊裏所用的西式喇叭吹號。號兵。12.量詞,用於人數昨天去了幾十號人。
【邏】:1.巡察:巡邏。邏吏(巡邏官)。邏騎。邏卒。2.遮攔:“蛛蝥結網工遮邏”。
【輯】:同“辑”。