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

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

符號邏輯

拼音: 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
    主站蜘蛛池模板: 一本大道一卡2卡三卡4卡国产| 久久精品人人做人人妻人人玩| 久久精品国产精油按摩| 国产特级毛片aaaaaa视频| 亚洲大尺度无码专区尤物| 久9视频这里只有精品试看| 久久这里只有是精品23| 欧美成人综合久久精品| 国产欧美亚洲精品第1页青草| 又摸又揉又黄又爽的视频| 亚洲www啪成人一区二区| 成人精品天堂一区二区三区| 性做久久久久久免费观看| 欧美乱码伦视频免费| 亚洲国产成人av网站| 国产av一二三无码影片| 国产精品国产自线拍免费| 成人免费直播| 亚欧洲乱码视频一二三区| 欧美大片18禁aaa片免费| 国产精品亚洲片在线观看不卡| 人妻一区二区三区| 四虎成人国产精品永久在线| 日韩成人无码中文字幕| 亚洲精品无码鲁网中文电影| 国产精品午夜无码体验区| 亚洲欧美成人综合久久久| 狠狠噜天天噜日日噜色综合| 国产产无码乱码精品久久鸭| 免费网禁国产you女网站下载| 激情中文小说区图片区| 国产熟女精品视频大全| 亚洲の无码国产の无码步美| 欧美黑人乱大交| 亚洲美女做爰av人体图片| 蜜臀av色欲a片无码一区| 国产末成年女av片一区二区| 国产成人8x视频网站入口| 黄色视频免费| 一个人看的www免费视频中文| 午夜理论电影在线观看亚洲|