久草福利在线视频_亚洲第一视频网站_久草成人在线_精品久久精品久久_国产精品国产三级国产aⅴ9色_黑人一级

漢語(yǔ)詞典 > 詞語(yǔ)
漢語(yǔ)詞語(yǔ)拼音 漢語(yǔ)解釋

符號(hào)邏輯

拼音： fú hào luó ji
注音：ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐ一ˊ
詞性： 成語(yǔ)
結(jié)構(gòu)： 其他
近義詞：
反義詞：
詞語(yǔ)解釋
數(shù)理邏輯。【】
引證解釋
國(guó)語(yǔ)詞典

一種邏輯。不限名詞和命題，將其關(guān)系用數(shù)學(xué)符號(hào)表達(dá)，而以數(shù)學(xué)運(yùn)算的方式，據(jù)以推斷論證命題的結(jié)果，有執(zhí)簡(jiǎn)衘繁的功效。

網(wǎng)絡(luò)解釋

符號(hào)邏輯

  • 符號(hào)邏輯又稱(chēng)數(shù)理邏輯、理論邏輯。它是數(shù)學(xué)的一個(gè)分支，是用數(shù)學(xué)方法研究邏輯或形式邏輯的學(xué)科。其研究對(duì)象是對(duì)證明和計(jì)算這兩個(gè)直觀概念進(jìn)行符號(hào)化以后的形式系統(tǒng)。數(shù)理邏輯是數(shù)學(xué)基礎(chǔ)的一個(gè)不可缺少的組成部分。 所謂數(shù)學(xué)方法就是指數(shù)學(xué)采用的一般方法，包括使用符號(hào)和公式，已有的數(shù)學(xué)成果和方法，特別是使用形式的公理方法。 用數(shù)學(xué)的方法研究邏輯的系統(tǒng)思想一般追溯到萊布尼茨，他認(rèn)為經(jīng)典的傳統(tǒng)邏輯必須改造和發(fā)展，是之更為精確和便于演算。后人基本是沿著萊布尼茨的思想進(jìn)行工作的。 簡(jiǎn)而言之，數(shù)理邏輯就是精確化、數(shù)學(xué)化的形式邏輯。它是現(xiàn)代計(jì)算機(jī)技術(shù)的基礎(chǔ)。新的時(shí)代將是數(shù)學(xué)大發(fā)展的時(shí)代，而數(shù)理邏輯在其中將會(huì)起到很關(guān)鍵的作用。 邏輯是探索、闡述和確立有效推理原則的學(xué)科，最早由古希臘學(xué)者亞里士多德創(chuàng)建的。用數(shù)學(xué)的方法研究關(guān)于推理、證明等問(wèn)題的學(xué)科就叫做數(shù)理邏輯。也叫做符號(hào)邏輯。
    • 收藏 菜單 QQ
    主站蜘蛛池模板： 久久av一区二区三区 | 北条麻妃国产九九九精品小说 | 欧美黑人做爰xxxⅹ 国产精品一区二区视频 | 中文字幕一二三区 | 中文字幕日韩欧美 | 91污在线观看 | 国产精品久久久久久久美男 | 欧美精品一区二区三区免费视频 | 日韩精品在线一区 | 国产视频一区二区 | 亚洲香蕉视频 | 综合久久综合久久 | 一区二区中文字幕 | 午夜精品一区二区三区在线观看 | 91精品国产综合久久久久久 | 国产一区二区三区四区视频 | 久久综合一区二区三区 | 亚洲综合二 | 亚洲视频一区 | 亚洲成人网一区 | 国产精品日韩 | 欧美在线视频一区二区 | 久久综合av | 在线视频91 | 亚洲精品国产成人 | 99精品视频一区二区三区 | 少妇精品久久久久久久久久 | 婷婷在线观看视频 | 国产综合久久久久久鬼色 | 亚洲黄网在线观看 | 日日操视频 | 最新日韩精品在线观看 | 久久99精品久久久久久久青青日本 | 干片网| 羞羞视频在线观看视频 | 黄色网页在线观看 | 成人免费高清 | 成人婷婷| 亚州av| 欧美一区二区在线观看 | 亚洲视频在线观看免费 |