證明論
自然科學(xué)學(xué)科

研究數(shù)學(xué)證明的理論。數(shù)理邏輯的分支學(xué)科。它以數(shù)學(xué)的無矛盾性和判定問題等為研究對象。數(shù)學(xué)的無矛盾性是關(guān)于數(shù)學(xué)基礎(chǔ)的研究,而判定問題不僅本身較前者研究的內(nèi)容更為廣泛,而且與算法和計(jì)算機(jī)科學(xué)也緊密地聯(lián)系在一起。證（本文共 466 字） [閱讀本文] >>

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

說明：本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請點(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)系公證律師古今謀略古錢百詠古詩百科古詩評譯古文鑒賞關(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é) 教師百科教育評價(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é)科