登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 岭南学报复刊第二十四辑：文本·观念·空间：中国文学的一个精神侧影 》 售價：NT$ 500 《 星斗：古国时代的中国 》 售價：NT$ 1520 《 晚清西学丛书（第三辑）：天伦诗 》 售價：NT$ 245 《 浮海行道有东洋（你所不知道的另类日本史，想看懂日本当下的迷惑操作，先读懂这些“兼容并蓄”的假面） 》 售價：NT$ 347 《 爱尔兰史 250个历史瞬间，解锁一座岛的万年史诗 》 售價：NT$ 857 《 兰香缘1+2 全4册终结篇 》 售價：NT$ 814 《 皇权与绅权 》 售價：NT$ 203 《 伊藤润二自选杰作集 》 售價：NT$ 347

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

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