當前位置：首頁 > 專業(yè)詞典 > 自然科學學科 > 正文

謂詞邏輯
自然科學學科

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

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