形式化偏序理論(formal theory of partial or-der)簡稱偏序理論.滿足偏序關係的形式系統。
形式化偏序理論(formal theory of partial or-der)簡稱偏序理論.滿足偏序關係的形式系統.設語言`}=}蕊)，其中蕊是二元關係符號，由下列非邏輯公理:
為出發點所構成的形式系統，稱為形式化偏序理論.
形式化偏序理論
相關詞條
- 形式化偏序理論
形式化偏序理論(formal theory of partial or-der)簡稱偏序理論.滿足偏序關係的形式系統。...
- 形式化單序理論
形式化單序理論(formal theory of simple or-der)亦稱線性序理論.滿足單序關係的形式系統.設語言丫~{蕊},其中毛是二元關係符號,由偏序公理}1 } }2 } }3(...
- 偏序集合
偏序集合(英語:Partially ordered set,簡寫 poset)在數學中,特別是序理論中,是指配備了偏序關係的集合。這個關係形式化了排序、順序或排列這個集合的元素的直覺概念...
- 域理論
域理論是研究通常叫做域(domain)的特定種類偏序集合的數學分支。因此域理論可以被看作是序理論的分支。這個領域主要套用於計算機科學中,特別是針對函式式程式語言,用...
- 命題代數
代數系統可能有多種解釋,把解釋推廣到邏輯領域,就能構成一種思維形式的演算方法...為出發點所構成的形式系統,稱為形式化偏序理論。命題代數對偶原理 ...
