-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
集合論含有原子的自然模型和布爾值模型 版權(quán)信息
- ISBN:9787303121694
- 條形碼:9787303121694 ; 978-7-303-12169-4
- 裝幀:暫無
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>>
集合論含有原子的自然模型和布爾值模型 內(nèi)容簡介
《集合論含有原子的自然模型和布爾值模型》由李娜所著,在含有原子的公理集合論系統(tǒng)的基礎(chǔ)上,力圖建立兩大類模型——自然模型和布爾值模型。不僅從理論上豐富了數(shù)理邏輯的重要分支——公理集合論的刻畫集論模型的理論,為現(xiàn)代邏輯的研究提供證明根據(jù),而且也促進了現(xiàn)代數(shù)理邏輯與哲學(xué)邏輯之間的相互滲透、相互融合,從而為描述和模擬人類思維提供指導(dǎo),為哲學(xué)應(yīng)用提供更可靠的工具,對于邏輯學(xué)研究的多元化具有重要的理論意義和現(xiàn)實意義。
集合論含有原子的自然模型和布爾值模型 目錄
**章 基本概念
§1 集合論的形式語言
§2 集合論的公理系統(tǒng)
§3 布爾代數(shù)
§4 一些常用的概念
第二章 自然模型
§1 zfc的自然模型v及其一些基本性質(zhì)
§2 gb的自然模型∑及其一些基本性質(zhì)
§3 cog的自然模型人及其一些基本性質(zhì)
§4 acg的自然模型q及其一些基本性質(zhì)
第三章 含有原子的自然模型
§1 zfa的自然模型及其一些基本性質(zhì)
§2 gba的自然模型及其一些基本性質(zhì)
§3 coga的自然模型及其一些基本性質(zhì)
集合論含有原子的自然模型和布爾值模型 作者簡介
李娜,女,1958年3月生于河南開封市。1982年畢業(yè)于河南大學(xué)數(shù)學(xué)系,獲理學(xué)學(xué)士學(xué)位。1989年畢業(yè)于中國科學(xué)院軟件研究所,獲理學(xué)碩士學(xué)位。現(xiàn)任南開大學(xué)哲學(xué)系教授、博士生導(dǎo)師,中山大學(xué)邏輯與認知研究所專職研究員。主要著作有《現(xiàn)代邏輯若干問題研究》等。
- >
名家?guī)阕x魯迅:故事新編
- >
羅庸西南聯(lián)大授課錄
- >
月亮與六便士
- >
羅曼·羅蘭讀書隨筆-精裝
- >
龍榆生:詞曲概論/大家小書
- >
名家?guī)阕x魯迅:朝花夕拾
- >
月亮虎
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作