謂詞邏輯
自然科學(xué)學(xué)科

研究謂詞命題和這類(lèi)命題之間推理關(guān)系的科學(xué)。又稱一階邏輯,數(shù)理邏輯的分支學(xué)科。謂詞邏輯以數(shù)學(xué)命題、數(shù)學(xué)理論的形式化及謂詞推理為研究對(duì)象。在程序的正確性證明、數(shù)學(xué)定理的機(jī)器證明以及智能機(jī)的語(yǔ)言(prolog)等方面都有（本文共 714 字） [閱讀本文] >>

開(kāi)通會(huì)員，享受整站包年服務(wù)立即開(kāi)通 >

說(shuō)明：本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請(qǐng)點(diǎn)擊申訴舉報(bào)

推薦內(nèi)容

詞典

論語(yǔ)孟子中國(guó)學(xué)術(shù) 哲學(xué)著作愛(ài)犬養(yǎng)護(hù) 百花百話百科合稱保定廟會(huì) 北大百聯(lián) 哺乳動(dòng)物軍事常識(shí) 人文常識(shí) 藝術(shù)常識(shí) 中外名人重大事件藏傳佛教三峽昆蟲(chóng) 城市供熱傳世名方詞名索引大歷詩(shī)略大學(xué)歷史當(dāng)代科學(xué) 東方文化東方文學(xué) 冬蟲(chóng)夏草法律文書(shū) 佛源語(yǔ)詞福州方言港口經(jīng)濟(jì) 高等數(shù)學(xué) 公共關(guān)系公證律師古今謀略古錢(qián)百詠古詩(shī)百科古詩(shī)評(píng)譯古文鑒賞關(guān)東文化廣播電視國(guó)防經(jīng)濟(jì) 國(guó)際關(guān)系國(guó)際金融國(guó)際政治國(guó)史紀(jì)事漢代長(zhǎng)安漢英經(jīng)貿(mào) 漢族風(fēng)俗河南蜻蜓赫章彝族紅河彝族湖湘文化畫(huà)說(shuō)西藏環(huán)境科學(xué) 環(huán)球地名皇帝內(nèi)經(jīng) 皇權(quán)興衰皇權(quán)興衰黃帝內(nèi)經(jīng) 黃節(jié)詩(shī)學(xué) 機(jī)械加工薊州風(fēng)物民間療法精細(xì)化工同義反義文史知識(shí) 文學(xué)知識(shí) 西方哲學(xué) 建安詩(shī)文建筑經(jīng)濟(jì) 交叉科學(xué) 教師百科教育評(píng)價(jià) 金屬材料京劇劇目經(jīng)濟(jì)法學(xué) 經(jīng)濟(jì)科學(xué) 精細(xì)化工決策科學(xué) 科技編輯科學(xué)技術(shù) 孔子文化老子鑒賞李白詩(shī)歌歷代典故歷代絕句歷代駢文愛(ài)情佳句文壇掌故歷史大事國(guó)史全鑒名城杭州名城臨海名城衢州連用成語(yǔ) 兩漢職官領(lǐng)導(dǎo)干部呂氏春秋倫理百科論語(yǔ)鑒賞漫畫(huà)知識(shí) 美丑大典美軍服裝美食中國(guó) 美術(shù)辭林唐墓壁畫(huà) 民間禁忌民間文學(xué) 民族知識(shí) 名著縮微明清西安明清治藏南社戲劇寧波古韻歐洲歷史熱工技術(shù) 人口管理人口科學(xué) 人類(lèi)科學(xué) 人生哲學(xué) 儒林外史三寶合璧三國(guó)韜略陜北方言陜西烹飪常用鋼材商業(yè)會(huì)計(jì) 尚氏易學(xué) 神州秘方詩(shī)歌美學(xué) 石油技術(shù) 實(shí)用方法實(shí)用公文外國(guó)文學(xué) 外國(guó)哲學(xué) 外臺(tái)秘要

謂詞邏輯 自然科學(xué)學(xué)科

謂詞邏輯
自然科學(xué)學(xué)科