基本介紹
- 中文名:集合論模型
- 外文名:model of set theory
- 別名:集理論模型
- 概念範疇:語義記憶
集合論模型,又叫集理論模型,該模型由Meyer提出,是長時記憶中的語義記憶的一種理論模型,它用要素集合的方式來解釋語義記憶的表征方式。...
集合模型(set model)一類集合論語言模型. 在集合論相容性與獨立性證明中,集合模型通常指域為集合的標準模型.由反射原理,對任何ZFC系統有限條公理而言,一定存在一個...
模型論(Model theory)是數學的一個學科,模型論的一些重要定理,如緊緻性定理,L-S-T 定理,省略型定理, 插值定理等等,不僅對邏輯,集合論,遞歸論的研究有重要作用...
內模型法(method of inner model)是集合論相對相容性證明的基本方法之一。設Σ1,Σ2為集合論語言中的兩個公式集,M為Σ1的一個模型,若存在公式A(x),使N={...
《集合論含有原子的自然模型和布爾值模型》是2011年北京師範大學出版社出版的圖書,作者是李娜。...
《策梅洛集合論》是1908年出版的圖書,作者是(德)策梅洛。本書主要是對作者集合論知識的理論提出和發展的講解。...
布爾(Boolean)模型是基於集合論和布爾代數的一種簡單檢索模型。它的特點是查找那些於某個查詢詞返回為“真”的文檔。...
策梅羅集合論,有上百種等價形式,已套用於幾乎每一個數學分支,成為一個獨立的研究領域。...
公理集合論(axiomatic set theory),是數理邏輯的主要分支之一,是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的公理的研究。19世紀70年代...
布爾值模型方法(Boolean-valued model ap-proach)集合論獨立性證明的基本方法之一自從1963年美國數學家科恩(Cohen,P.J.)利用他所創立的力迫法,證明了連續統假設...
非標準算術模型(nonstandard model of peano arithmetic)是皮亞諾算術理論的一種模型,指與自然數模型N初等等價,但不同構的模型。自然數集合的皮亞諾公理(Peano ...
馬爾庫斯用集合論方法提出的語言模型。在生成性模型和分析性模型的基礎上,把二者結合起來,便產生了一種很有實用價值的模型,即辨識性模型。辨識性模型可以從語言元素...
標準模型假設(standard model hypothesis)一種中間假設.它是美國數學家科恩(Cohen,P.J.)在介紹力迫法時引人的一個命題.在證明集合論外加公理的相容性時,通常以...
《不完備信息系統及粗糙集理論模型與屬性約簡》是2011年科學出版社出版的圖書。...粗糙集理論是用於處理不精確問題的數學理論,是經典集合論的重要發展。由於粗糙集...
司寇倫定理是模型論中的一條重要定理。由於這個定理,在討論問題時可以改換不同基數的模型而不影響所關心的理論T。...
納爾遜和溫特先後通過早期的集合論模型(1964)和後期採用有限的馬爾可夫鏈 和計算機仿真技術的演化模型,試圖處理的核心問題是:是不是選擇動力學的一個“現實的”演化...
在一般數學中,可以精確定義 SN為全集;這是策梅洛集合論的模型。策梅洛集合論是由Ernst Zermelo最初在1908年提出的公理集合論。 策梅洛集合論的成功完全在於它...
用於資料庫管理的關係模型(英語:Relational model)是基於謂詞邏輯和集合論的一種數據模型,廣泛被使用於資料庫之中。最早於1969年由埃德加·科德提出。...