登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』弗协调集合论模型研究

書城自編碼： 4033063
分類：簡體書→大陸圖書→哲學/宗教→哲學
作者： 何建锋著
國際書號(ISBN)： 9787522737867
出版社： 中国社会科学出版社
出版日期： 2024-09-01

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 112.7

我要買 件

share:

** 我創建的書架 **
未登入.

新書推薦：
积极心理学
《 积极心理学 》
售價：HK$ 57.3
自由，不是放纵
《 自由，不是放纵 》
售價：HK$ 56.4
甲骨文丛书·消逝的光明：欧洲国际史，1919—1933年（套装全2册）
《 甲骨文丛书·消逝的光明：欧洲国际史，1919—1933年（套装全2册） 》
售價：HK$ 277.8
剑桥日本戏剧史（剑桥世界戏剧史译丛）
《 剑桥日本戏剧史（剑桥世界戏剧史译丛） 》
售價：HK$ 207.0
中国高等艺术院校精品教材大系：材料的时尚表达??服装创意设计
《 中国高等艺术院校精品教材大系：材料的时尚表达??服装创意设计 》
售價：HK$ 78.2
美丽与哀愁：第一次世界大战个人史
《 美丽与哀愁：第一次世界大战个人史 》
售價：HK$ 147.2
国家豁免法的域外借鉴与实践建议
《 国家豁免法的域外借鉴与实践建议 》
售價：HK$ 188.2
大单元教学设计20讲
《 大单元教学设计20讲 》
售價：HK$ 78.2

 
內容簡介：
本书使用文献研究法讨论了一个数理逻辑问题：弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统，并构造模型证明其非平凡性，结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性，在一定意义上拓展了其应用领域，实现了洛韦和塔拉法德的猜想，将广义代数值模型推广到弗协调集合论，书稿也对集合论模型的构造技术作了一次较为充分的梳理，为其它集合论模型的研究提供参考。
關於作者：
何建锋，男，1987年生，河南登封人，2018年毕业于南开大学逻辑学专业，获哲学博士学位，现任中南财经政法大学哲学院讲师，主讲现代逻辑相关课程，参与国家社会科学基金重点项目1项，主持湖北省社会科学基金项目1项，主持校级科研项目3项，发表CSSCI论文3篇。
目錄：
前言
第一章 弗协调集合论概况
第一节 弗协调逻辑
第二节 弗协调集合论的典型系统
第三节 弗协调集合论的模型
本章小结
第三章 ZF的经典模型
第一节 预备知识
第二节 可构成模型
第三节 置换模型
第四节 力迫模型
本章小结
第三章 ZF的非经典模型
第一节 布尔值模型
第二节 广义代数值模型
第三节 拓扑斯
本章小结
第四章 弗协调集合论ZQST
第一节 弗协调命题逻辑系统Zn
第二节 弗协调一阶谓词逻辑系统ZQ
第三节 基于ZQ的弗协调集合论ZQST
第四节 ZQST中的序数和基数
本章小结
第五章 ZQST的模型
第一节 弗协调集合的构造方法
第二节 ZQST的拓扑模型的构造思路
第三节 ZQST的广义代数值模型
本章小结
结语
参考文献

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.