相關詞條
-
數學機械化
數學問題的機械化,就是要求在運算或證明過程中,每前進一步之後,都有一個確定的、必須選擇的下一步,這樣沿著一條有規律的、刻板的道路,一直達到結論。即所謂的...
基本定義 研究人員 數學 理論基礎 幾何學 -
中國科學院數學機械化重點實驗室
中國科學院數學機械化重點實驗室依託:中國科學院數學與系統科學研究院。本實驗室以基礎研究為主,同時兼顧套用研究,採取基礎研究帶動套用研究的思路。研究方向可...
實驗室-依託單位 實驗室-學術前沿 實驗室-科研成果 實驗室-分支學科 實驗室-研究方向 -
機械化數學引論
《機械化數學引論》是1998年湖南教育出版社出版的圖書,作者是石赫。
內容提要 編輯推薦 目錄 -
吳文俊論數學機械化
ization ization ization
作品目錄 -
古代數學
古代數學,起源於人類早期的生產活動,產生於商業上計算的需要、了解數字間的關係、測量土地及預測天文事件。我國古代把數學叫算術,又稱算學,最後才改為數學。
中西解析 發展歷史 主要著作 數學名言 -
組合數學
組合數學(combinatorial mathematics),又稱為離散數學。狹義的組合數學主要研究滿足一定條件的組態(也稱組合模型)的存在、計數以及...
簡介 國外狀況 花絮 相關書籍《組合數學》 清華大學出版社圖書 -
組合數學[離散數學]
組合數學(Combinatorial mathematics),又稱為離散數學。 廣義的組合數學就是離散數學,狹義的組合數學是離散數學除圖論、代數結構、...
介紹 國內現狀 國外狀況 主要學術會議 問題 -
中國科學院數學與系統科學研究院
中國科學院數學與系統科學研究院成立於1998年12月,是由中科院數學研究所(建於1952年)、套用數學研究所(建於1979年)、系統科學研究所(建於19...
歷史沿革 科研條件 科研成就 人才培養 文化傳統 -
套用數學學科
學科套用數學屬於數學一級學科下的二級學科。套用數學是套用目的明確的數學理論和方法的總稱,它是數學理論知識與套用科學、工程技術等領域聯繫的重要紐帶。套用數...
研究方向 學科案例 2010美大學套用數學研究生排名 -
重慶三峽學院數學與統計學院
重慶三峽學院數學與統計學院是一所理科學院,歷史悠久,師資雄厚,教職工有48人。
學院簡介 現任領導 專業介紹 主要課程 重點學科