9999久久久久精品无码,国产精品亚洲LV粉色,久久久综合少妇另类

內(nèi)容簡介

　　本書是我國學術(shù)界*部關(guān)于集合論、余代數(shù)與模態(tài)邏輯交叉研究的著作。首先，以非良基集合為語義結(jié)構(gòu)對模態(tài)邏輯進行解釋，研究模態(tài)邏輯在集合論語義下的對應理論、可定義性及表達力等問題，取得了一些新的研究成果，豐富了集合論理論和邏輯理論。其次，把余代數(shù)看做非良基集合的抽象數(shù)學模型，它作為對關(guān)系語義學的推廣，著重研究余代數(shù)模態(tài)邏輯。

作者簡介

　　史？Z，副教授，邏輯學專業(yè)碩士研究生導師。中國邏輯學會、北京市邏輯學會會員。本科生課程：邏輯學；碩士研究生課程：集合論、數(shù)理邏輯（雙語）、模態(tài)邏輯（雙語）、哲學邏輯、邏輯原著選讀、邏輯前沿講座。

圖書目錄

●章模態(tài)邏輯基礎
● 1.1 模態(tài)邏輯的句法和語義
● 1.2 模態(tài)對應理論
● 1.3 模型和框架構(gòu)造
● 1.4 典范模型和完全性
● 1.5 有窮模型性質(zhì)
●第2章非良基集合論基礎
● 2.1 集合論的基礎知識
● 2.2 良基集合與非良基集合
● 2.3 非良基集與循環(huán)現(xiàn)象
● 2.4 本元
● 2.5 集合與圖
● 2.6 平坦方程組
● 2.7 集合連續(xù)算子
● 2.8 不動點
● 2.9 集合上的互模擬關(guān)系
●第3章反基礎公理
● 3.1 反基礎公理的基本形式
● 3.2 反基礎公理的模型
● 3.3 反基礎公理的變形
●部分目錄