亚洲一区二区三区成人网站-一本久久知道综合久久-丰满少妇在线观看网站-日本一区二区三区高清无卡-精品午夜国产福利观看

漢語詞典 > 詞語
漢語詞語拼音 漢語解釋

符號邏輯

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

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

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

符號邏輯

  • 符號邏輯又稱數(shù)理邏輯、理論邏輯。它是數(shù)學(xué)的一個分支，是用數(shù)學(xué)方法研究邏輯或形式邏輯的學(xué)科。其研究對象是對證明和計(jì)算這兩個直觀概念進(jìn)行符號化以后的形式系統(tǒng)。數(shù)理邏輯是數(shù)學(xué)基礎(chǔ)的一個不可缺少的組成部分。 所謂數(shù)學(xué)方法就是指數(shù)學(xué)采用的一般方法，包括使用符號和公式，已有的數(shù)學(xué)成果和方法，特別是使用形式的公理方法。 用數(shù)學(xué)的方法研究邏輯的系統(tǒng)思想一般追溯到萊布尼茨，他認(rèn)為經(jīng)典的傳統(tǒng)邏輯必須改造和發(fā)展，是之更為精確和便于演算。后人基本是沿著萊布尼茨的思想進(jìn)行工作的。 簡而言之，數(shù)理邏輯就是精確化、數(shù)學(xué)化的形式邏輯。它是現(xiàn)代計(jì)算機(jī)技術(shù)的基礎(chǔ)。新的時代將是數(shù)學(xué)大發(fā)展的時代，而數(shù)理邏輯在其中將會起到很關(guān)鍵的作用。 邏輯是探索、闡述和確立有效推理原則的學(xué)科，最早由古希臘學(xué)者亞里士多德創(chuàng)建的。用數(shù)學(xué)的方法研究關(guān)于推理、證明等問題的學(xué)科就叫做數(shù)理邏輯。也叫做符號邏輯。
    • 收藏 菜單 QQ
    主站蜘蛛池模板： 性一交一乱一伦a片| 精品熟女少妇av久久免费| 中文字幕av无码人妻| 亚洲日韩在线中文字幕综合 | 中文日韩亚洲欧美制服| 国产美女自慰在线观看| 天天躁日日躁狠狠躁超碰97| 精品人妻少妇一区二区三区在线| 熟女性饥渴一区二区三区| 国产精品186在线观看在线播放| 久久久久亚洲精品| 少妇把腿扒开让我爽爽视频| 女人爽到高潮免费看视频| 77777亚洲午夜久久多喷| 亚洲中文字幕在线无码一区二区| 色妞www精品免费视频| 激情综合亚洲色婷婷五月| 少妇激情艳情综合小视频| 亚洲成在人线免费观看| 国产亚洲精品欧洲在线视频| 日韩一卡2卡3卡4卡新区亚洲| 高清同性男毛片| 日韩成人大屁股内射喷水| 亚洲性色av日韩在线观看| 麻豆天美国产一区在线播放| 免费看成人aa片无码视频| 四虎成人精品永久网站| 久久综合九色综合欧美婷婷| 男人的天堂av亚洲一区2区| 亚洲精品国产综合99久久一区 | 久久婷婷五月综合色99啪ak| 成人乱码一区二区三区av0| 狠狠躁夜夜躁人人爽天天不卡软件 | 中文字幕av无码一区二区蜜芽三区| 无码国产69精品久久久久app| 制服丝袜美腿一区二区| 久久精品人人槡人妻人人玩av| 亚洲精品久久久无码一区二区| 久久99精品久久久久婷婷暖| 高清一区二区三区免费视频 | 日日摸日日碰夜夜爽亚洲|