當(dāng)前位置：首頁 > 專業(yè)詞典 > 實(shí)用邏輯學(xué) > 正文

數(shù)理邏輯
實(shí)用邏輯學(xué)

        有廣義和狹義之分。狹義的數(shù)理邏輯,就是指邏輯演算。廣義的數(shù)理邏輯,除邏輯演算外,還包括集合論、模型論、遞歸論和證明論。在最廣的意義下,凡應(yīng)用特制人工符號(hào)語言和形式化方法研究演繹推理等邏輯問題的各種邏輯理論,都包    （本文共 707 字 ）     [閱讀本文] >>

開通會(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)秘要