相關詞條
-
公理
公理，英文名：axiom，是指依據人類理性的不證自明的基本事實，經過人類長期反覆實踐的考驗，不需要再加證明的基本命題。
詞語釋義 套用實例 公理系統 公理集合論 公理化方法 -
公理集合論
公理集合論是數理邏輯的主要分支之一，是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的公理的研究。
公理集合論 正文 配圖 相關連線 -
公理系統
公理系統是 歐氏幾何。 公理化方法 公理化方法經常被作為一個單一的方法... 斯賓諾莎的著作中所述）。 這個傳統的方法中，公理被設定為 不言自明...的公理方法作為研究工具的“新”用途而發生的。例如， 群論在該世紀末第一個放...
-
集合論公理系統
集合論公理系統axiom systems for set theory 公理集合論的基礎部分。如同平面幾何中的點、線、面一樣，集合是一個不加定義的原始概念。
集合論公理系統 正文 配圖 相關連線 -
選擇公理
“選擇公理”有很多等價的形式（equivalent form），以下用一個較簡單的描述：選擇公理設C為一個由非空集合所組成的集合。那么，我們可以從每一個...
選擇公理 正文 配圖 相關連線 -
公理語義學
形式語義學的一個分支。不同的人在了解程式的含義時有不同的要求。公理語義學方法就是研究如何將這些不同的要求形式化，並根據這些要求嚴格給出程式設計語言的有關語義。
公理語義學 正文 配圖 相關連線 -
公理化方法
公理化方法公理化思想任何真正的科學都始於原理，以它們為基礎，並由之而導出一切結果來隨著假設演繹模型法的進一步發展，經濟學日益走向公理化方法。公理化是一種...
定義 產生和發展 發展 形式化 意義和作用 -
阿基米德公理
阿基米德公理，別稱阿基米德性質，由阿基米德提出。
概述 歷史 定義 證明 其他解釋 -
公理設計
內容介紹《公理設計:發展與套用》是一本介紹設計理論和方法的書。 設計的現狀1.3 公理法與計算法的關係1.
內容介紹 作品目錄 -
幾何公理體系的基本問題
幾何公理體系的3個基本問題 。 例如，歐幾里得在《幾何原本》中所列公理，作為歐氏幾何公理體系是不夠的，而希爾伯特公理體系則是完備的公理體系。 如歐幾里得...
