當前位置:首頁 > 專業(yè)詞典 > 自然科學學科 > 列表
自然科學學科 共有 1503 個詞條內容

謂詞邏輯

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

自然科學學科

模型論

    研究形式語言及其解釋(模型)之間的關系的理論。數(shù)理邏輯的分支學科。模型論中的概念與方法,主要來源于數(shù)理邏輯,也有不少來源于代數(shù),特別是與泛代數(shù)的理論聯(lián)系很密切;此外,由魯賓孫(A.Robinson,1918~1974)所創(chuàng)始的非標準分析,則是...[繼續(xù)閱讀]

自然科學學科

公理化集合論

    利用公理化的方法對樸素集合論加以研究的數(shù)學理論。又稱公理集合論,數(shù)理邏輯的分支學科。它以形式化的方法建立集合論的公理系統(tǒng)為研究對象,目的是克服集合論中出現(xiàn)的悖論。集合論的公理化首先是由策梅洛(E.F.F.Zermelo,1871~...[繼續(xù)閱讀]

自然科學學科

證明論

    研究數(shù)學證明的理論。數(shù)理邏輯的分支學科。它以數(shù)學的無矛盾性和判定問題等為研究對象。數(shù)學的無矛盾性是關于數(shù)學基礎的研究,而判定問題不僅本身較前者研究的內容更為廣泛,而且與算法和計算機科學也緊密地聯(lián)系在一起。證...[繼續(xù)閱讀]

自然科學學科

數(shù)學分析

    17世紀以來在微積分學發(fā)展的基礎上形成的數(shù)學分支。它曾和幾何學、代數(shù)學并列為數(shù)學中的三個重要分支,并從18世紀以來相對獨立地得到很大的發(fā)展。數(shù)學分析的研究內容,是隨著數(shù)學的發(fā)展而不斷變動的。17~18世紀的數(shù)學分析...[繼續(xù)閱讀]

自然科學學科

微積分學

    研究函數(shù)的微分、積分以及有關概念和應用的數(shù)學分支,微積分學是建立在實數(shù)、函數(shù)和極限的基礎上的。微積分學的內容主要包括:①微分學。研究函數(shù)的導數(shù)與微分及其在函數(shù)研究中的應用;②積分學。主要研究積分的性質、計算...[繼續(xù)閱讀]

自然科學學科

函數(shù)論

    研究和探討自然界中變量之間相互依賴關系的科學,數(shù)學的分支學科。函數(shù)論包括實變函數(shù)、復變函數(shù)以及函數(shù)逼近理論。函數(shù)論的研究有悠久的歷史,早在18世紀歐拉(L.Euler,1707~1783)首先整理了關于本學科的幾乎所有文獻。拉格朗日...[繼續(xù)閱讀]

自然科學學科

實變函數(shù)論

    實變函數(shù)主要是指自變量(也包括多變量)取實數(shù)值的函數(shù),實變函數(shù)論是研究一般實變函數(shù)的理論。實變函數(shù)論是以連續(xù)性、可微性、可積性三個方面討論最一般的函數(shù),實變函數(shù)論是微積分學的發(fā)展和深入。實變函數(shù)研究的主要內容...[繼續(xù)閱讀]

自然科學學科

復變函數(shù)論

    研究定義在復數(shù)平面上的函數(shù)性質的科學。它既是數(shù)學的分支,也是函數(shù)論的分支。它的研究對象是定義在復數(shù)集上的一種特殊的復變函數(shù)類——解析函數(shù)。復變函數(shù)的理論可分為單復變函數(shù)和多復變函數(shù)。單復變函數(shù)理論亦稱解析...[繼續(xù)閱讀]

自然科學學科

微分方程與積分方程

    常微分方程、偏微分方程、數(shù)學物理方程及積分方程的總稱。微分方程與積分方程論是數(shù)學的重要分支之一。研究的對象是與上述各類方程有關的問題之解的基本理論和方法。微分方程(包括常微分方程、偏微分方程、數(shù)學物理方程...[繼續(xù)閱讀]

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