域理論是研究通常叫做域(domain)的特定種類偏序集合的數學分支。因此域理論可以被看作是序理論的分支。這個領域主要套用於計算機科學中,特別是針對函式式程式語言,用它來指定指稱語義。域理論以非常一般化的方式形式化了逼近和收斂的直覺概念,並與拓撲學有密切聯繫。在計算機科學中指稱語義的一個可作為替代的方式是度量空間。
基本介紹
- 中文名:域理論
- 類屬:偏序集合的數學分支
- 提出人:Dana Scott
- 提出年代:1960 年代後期
域理論是研究通常叫做域(domain)的特定種類偏序集合的數學分支。因此域理論可以被看作是序理論的分支。這個領域主要套用於計算機科學中,特別是針對函式式程式語言,用它來指定指稱語義。域理論以非常一般化的方式形式化了逼近和收斂的直覺概念,並與拓撲學有密切聯繫。在計算機科學中指稱語義的一個可作為替代的方式是度量空間。
域理論是研究通常叫做域(domain)的特定種類偏序集合的數學分支。因此域理論可以被看作是序理論的分支。這個領域主要套用於計算機科學中,特別是針對函式式程式語言,用...
《域和伽羅瓦理論》是世界圖書出版公司(此信息作廢)出版的圖書,作者是P.Morandi。...... 《域和伽羅瓦理論》是世界圖書出版公司(此信息作廢)出版的圖書,作者是P....
《文化符號域理論研究》是2007年武漢大學出版社出版的圖書,作者是鄭文東。...... 《文化符號域理論研究》是2007年武漢大學出版社出版的圖書,作者是鄭文東。...
《形式語義學的穩定論域理論》是2003年6月科學出版社出版的圖書,作者是陳儀香。...... 《形式語義學的穩定論域理論》是2003年6月科學出版社出版的圖書,作者是陳儀...
習慣領域(Habitual Domains)理論是美國堪薩斯大學商學院的游伯龍教授在潛心研究和總結社會心理學、腦神經科學、系統科學、管理科學等學科最新研究成果的基礎上,通過對...
美國金融學家羅伯特·Z·阿利伯(Robert Z.Aliber)在1970年和1971年分別發表的《對外直接投資理論》和《多元通貨世界中的跨國企業》兩篇論文中,把對外直接投資視為...
哈貝馬斯的公共領域理論,是以18世紀歐洲——主要是法國、英國和德國的歷史為背景,所得出的一個馬克斯·韋伯式的理想類型。他分析了18世紀資產階級社會中出現的俱樂部...
學習型區域理論又稱為學習型區域發展理論,指的是綜合運用經濟學、社會學、經濟地理學、區域經濟學等學科的理論與方法,探索學習本質與區域經濟發展之間關係、知識生產...
美國學者施堅雅(G.WilliamSkinner)教授是一位重要的學術人物。施堅雅的貢獻在於突破了地方史研究主要囿於行政區域空間的局限,提出了以市場為基礎的區域研究的理論。他...
《編碼理論基礎》是關於編碼理論的一本教材,作者陳魯生 沈世鎰 ,高等教育出版社出版,主要介紹編碼理論的基本知識。全書共十二章,可以分為兩部分。...
《從一元一次方程到伽羅瓦理論》是2012年華東師範大學出版社出版的圖書,作者是馮承天。...
多體微擾理論是一種基於分子軌域理論的高級量子化學計算方法。這種方法以Hartree-Fock方程的自洽場解為基礎,套用微擾理論,獲得考慮了相關能的多電子體系近似解,其...
《編碼理論與通信安全》是2006年8月清華大學出版社出版的圖書,作者是 盧開澄、盧華明。本書是“計算機科學組合學叢書”的第6冊,試圖從組合數學的觀點來討論計算機...
σ域是由樣本空間一些集合為元素(通常包括 )組成的集合。...... σ域是由樣本空間一些集合為元素(通常包括 )組成的集合。目錄 1 理論內容 2 示性函式 3 隨...
阿廷定理(Artin theorem)實閉域上的多元多項式的重要定理.希爾伯特第17問題的正面解答和推廣.設F是一個實閉域,n為任一自然數,f(x)若對於F中任何一組元(aaZ...
按時間順序,他的主要研究內容有:不變數理論、代數數域理論、幾何基礎、積分方程、物理學、一般數學基礎,其間穿插的研究課題有:狄利克雷原理和變分法、華林問題、...
擬陣理論的第三個來源是域理論。域的一個擴張可以給出一個擬陣。假設F和K是K包含F的兩個域。設E是K的任意有限子集。定義E的子集S是代數獨立的如果域擴張F(...
美國著名攝影家安塞爾·亞當斯的區域曝光理論,是半個多世紀以來攝影科學的基本理論之一。...
《公共領域論》是人民出版社出版的圖書,作者是楊仁忠。本書對公共領域的古典傳統、近現代生成、現代理論發展、理論特徵、運行機制、憲政民主功能以及中國意義等問題...
早期計算機科學受數學研究成果的影響很大,如Kurt Gödel和Alan Turing,這兩個領域在某些學科,例如數理邏輯、範疇論、域理論和代數,也不斷有有益的思想交流。...
特納,F.J.,美國歷史學家,用“邊疆學說”和“地域理論”解釋美國歷史的創始人。1861年11月14日出生於威斯康星州波蒂奇鎮,1884年畢業於威斯康星大學。主要著作:《...