空間邏輯（spatial logics）是2018年公布的計算機科學技術名詞。出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：空間邏輯
- 外文名：spatial logics
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
對空間位置進行推理的一類模態邏輯。
出處
《計算機科學技術名詞 》第三版。
空間邏輯
相關詞條
- 空間邏輯
空間邏輯（spatial logics）是2018年公布的計算機科學技術名詞。出自《計算機科學技術名詞 》第三版。定義對空間位置進行推理的一類模態邏輯。出處《計算機科學技術名詞 》第三版。1...
- 空間思維
空間思維是千萬種思維中的一種，但空間思維又不同於立體思維、平面思維、定向思維、邏輯思維、正向思維、反向思維、發散思維、聚合思維等思維方式，空間思維是一種複合思維，是一種快速高效的優秀思維，快速、高效是空間思維優秀的兩個顯著...
- 混合空間邏輯
《混合空間邏輯》是2016年浙江大學出版社出版的圖書。內容簡介 混合空間邏輯是模態邏輯的兩個子領域——子集空間邏輯和混合邏輯——的交叉分支。該邏輯可用於刻畫知識以及認知努力的推理，並且比常見的認知邏輯具有更強的表達能力。王軼所著...
- 面向對象空間邏輯
《面向對象空間邏輯》是2009年西北工業大學出版社出版的圖書，作者是毛明毅，陳志成，何華燦。內容簡介 《面向對象空間邏輯》適用於大專以上文化水平，對邏輯學、數學、計算機、信息處理等感興趣的讀者，也可供相關研究方向的專家學者、青年...
- 布爾空間
布爾空間(Boolean space)是一種特殊的拓撲空間。拓撲空間是歐幾里得空間的一種推廣。給定任意一個集，在它的每一個點賦予一種確定的鄰域結構便構成一個拓撲空間。拓撲空間是一種抽象空間，這種抽象空間最早由法國數學家弗雷歇於1906年開始...
- 斯通空間
斯通空間(Stone space)一類特殊的拓撲空間。設L是完全赫廷代數。若L的全體緊元的集合K(L)是L的子格，並且L的元都可以表示為K(L)中元的並，則稱L是凝聚的。設(X，Ω(X))是拓撲空間。若(X，Ω(X))是索伯列夫空間，並且Ω(...
- 空間(哲學定義)
空間的哲學定義內涵U=【r∈[0,+∞)∩r=ct】；外延 U=∑(→r∪u)_n=∑→r_n∪∑u_n即內涵是無界永在，外延是各有限部份空間相對位置或大小的測量數值。簡介 (→r∪u)_n表示空間的任一有限部份，即每部份都是有限的但...
- 靜態邏輯和動態邏輯
在二維空間無法理解的事情，在三維空間則一目了然。假設人類的思維被限定在只能理解二維空間的現象，顯然在三維空間出現的正確結論人類是無法理解的。不過人類是幸運的，儘管人腦的主觀思維方式是一維的，但人們可以將多維的事物剖析分解，...
- 混合語言下的二維空間邏輯
王軼創作的博士論文，劉壯虎指導。副題名 外文題名 論文作者 王軼著 導師 劉壯虎指導 學科專業 邏輯學 學位級別 博士論文 學位授予單位 北京大學 學位授予時間 2009 關鍵字 哲理邏輯 認知邏輯 語義學 館藏號 B815.3 館藏目錄 2010\B815...
- 復物質空間
由基元演繹的邏輯空間是物質基元按數理邏輯充滿的物質集合。我們將從數的導出開始用數理邏輯演繹基本物質世界。我們先數的起點：無論從集合論還是邏輯代數論分析，都是要先導出基元。由導出代數我們知道代數結構中最小的集合A符合下述結構：...
- 豪斯多夫空間
相反的，在抽象代數和代數幾何更經常見到非預正則空間，特別是作為在代數簇或交換環譜上的扎里斯基拓撲。他們還出現在直覺邏輯的模型論中: 所有完全 Heyting代數都是某個拓撲空間的開集的代數，但是這個空間不需要是預正則的，更少見豪斯...
- GIS空間數據模型邏輯描述與評價
通過對模型的評價指出了拓撲關係空間數據模型和面向實體空間數據模型的優缺點，並闡述了尋求能夠表達複雜地理實體及其間複雜拓撲關係的空間數據模型的重要性。圖書目錄 （1）拓撲關係空間數據模型邏輯描述；（2）面向實體空間數據模型邏輯描述；...
- 擴充邏輯地址空間
擴充邏輯空間是指擴充源程式的相對地址空間。需要擴充邏輯地址空間原因一般有源程式功能增多和數據量增加。簡介 地址空間（address space）表示任何一個計算機實體所占用的記憶體大小。比如外設、檔案、伺服器或者一個網路計算機。地址空間包括物理...
- 空間原理
5.1 時間概述 空間截面 客觀存在 相對客觀存在時間 時間計量 5.6 有效性 知識的本源 思維技術 人律論的層級 律論的形式與邏輯 5.11 科學之源 人類科學 時間錯覺 客觀原因 前因後果 5.16 速度對時間的影響 駁時空謬誤 回不到...
- 空間智慧型
霍華德·加德納在多元智慧型理論中指出，空間智慧型是人們生活學習的基本能力，更是人們進行藝術、科學、數學及至文學活動的不可或缺的能力。“大千世界，色形而己。”寶寶無時無刻不在面對著各種各樣的顏色、形狀、大小、空間等。幫助寶寶...
- 邏輯順序
邏輯順序，即按照事物或事理的內部聯繫及人們認識事物的過程來安排說明順序，這種順序常用於事理說明文。事物的內部聯繫包括因果關係、層遞關係、主次關係、總分關係、並列關係等；認識事物或事理的過程則指由淺入深、由具體到抽象等等。這是...
- 空間數據結構
空間數據結構 （SpatiaI Data Structure）是指空間數據適合於計算機存儲、管理、處理的邏輯結構，是空間數據在計算機內的組織和編碼形式，是地理實體的空間排列和相互關係的抽象描述。 空間數據編碼是指空間數據結構的具體實現，是將圖形數據...
- 空間表象模型
方法 對於實物空間列陣問題，赫特洛切爾研究了主試所描述的移動項目的語法地位是怎樣影響被動陳述的掌握的。當看得見的活動者與描述的活動者（即邏輯主語）是一致的時候，對其掌握最為容易，甚至在所描述的活動者在語法上是賓語的情況下...
- 邏輯關係
邏輯關係（logic relationship）即“依賴關係”，是指在人類活動中和思維活動中，概念之間的邏輯關係、命題之間的邏輯關係、事物之間的邏輯關係，時間之間和空間之間的邏輯關係。指表示兩個活動（前導活動和後續活動）中一個活動的變更將會...
- 空間和時間
因為空間的上述特性，所以我們才能夠把空間分解為不同的部份並研究它們之間的關係，產生了幾何學、代數學和邏輯學。這一點在下面第三篇有關幾何學、代數學和邏輯學的章節中有具體的論述。第3點 質量 內涵M={m∈(0,+∞)}∩{dρ_...
- 空間(科學名詞)
黎曼幾何學及n維空間的概念建立以後，通常直觀意義下的空間概念，就抽象成為現實世界中具有某種數量關係的“空間形式”。空間是根據空間公理定義的。空間公理：空間無界永在。邏輯表達式：U=r∈[0,+∞)∧r=ct。空間公理分為點分理與空...
- 空間順序
先說上下，再說四周，是空間順序；先說四周，再說上下，也是空間順序。先說原因，後說結果，是邏輯順序；先說結果，後說原因，也是邏輯順序。採用怎樣的空間順序、怎樣的邏輯順序，要根據觀察和認識的過程，根據說明的目的和效果來決定。1...
