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

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

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

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

推薦內(nèi)容

詞典

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

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

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