數(shù)理邏輯
- 拼音shù lǐ luó ji
- 近義詞
- 反義詞
詞語解釋
- 亦稱“符號邏輯”。狹義指用數(shù)學(xué)方法研究數(shù)學(xué)中的演繹思維以及數(shù)學(xué)基礎(chǔ)的學(xué)科。廣義指一切用符號和數(shù)學(xué)方法處理和研究演繹法的學(xué)問。既是數(shù)學(xué)的一個分支,又是邏輯學(xué)的一個分支。數(shù)理邏輯對數(shù)學(xué)研究和工程技術(shù)有重要意義,對一般思維中某些問題的解決也有成效。
網(wǎng)絡(luò)解釋
- 數(shù)理邏輯 (用數(shù)學(xué)方法研究邏輯或形式邏輯的學(xué)科)
- 形式邏輯形式上符號化、數(shù)學(xué)化的邏輯,本質(zhì)上仍屬于知性邏輯的范疇。
- 數(shù)理邏輯又稱符號邏輯、理論邏輯。它既是數(shù)學(xué)的一個分支,也是邏輯學(xué)的一個分支。是用數(shù)學(xué)方法研究邏輯或形式邏輯的學(xué)科。其研究對象是對證明和計算這兩個直觀概念進行符號化以后的形式系統(tǒng)。數(shù)理邏輯是基礎(chǔ)數(shù)學(xué)的一個不可缺少的組成部分。雖然名稱中有邏輯兩字,但并不屬于單純邏輯學(xué)范疇。
“數(shù)理邏輯”單字解釋
數(shù):[shù] 1.數(shù)目:次~?!~。 2.幾;幾個:~次?!铡?3.天數(shù);命運:氣~。在~難逃。 4.表示事物的量的基本數(shù)學(xué)概念。由于生產(chǎn)實踐對計數(shù)和測量的需要,首先產(chǎn)生了自然數(shù)(正整...
理:1.物質(zhì)組織的條紋;紋理:木~。肌~。條~。 2.道理;事理:合~?!?。~當(dāng)如此。 3.自然科學(xué),有時特指物理學(xué):~科。數(shù)~化。 4.管理;辦理:處~。~財。當(dāng)家~事。 5.整理...
輯:1.編輯;輯錄。 2.整套書籍、資料等按內(nèi)容或發(fā)表先后次序分成的各個部分:新聞簡報第一~。這部叢書分為十~,每~五本。...
邏:巡察:巡~。~騎?!?。...