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

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

香港／國際用戶

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

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

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 甲骨文丛书·剑桥世界暴力史（第一卷）：史前和古代世界（套装全2册） 》 售價：NT$ 959.0 《 甲骨文丛书·中华早期帝国：秦汉史的重估 》 售價：NT$ 1367.0 《 欲望与家庭小说 》 售價：NT$ 449.0 《 惜华年（全两册） 》 售價：NT$ 320.0 《 甲骨文丛书·古代中国的军事文化 》 售價：NT$ 454.0 《 中国王朝内争实录（套装全4册）：从未见过的王朝内争编著史 》 售價：NT$ 1112.0 《 半导体纳米器件：物理、技术和应用 》 售價：NT$ 806.0 《 创客精选项目设计与制作 第2版 刘笑笑 颜志勇 严国陶 》 售價：NT$ 281.0

建議一齊購買： + NT$ 216 《 数列与数学归纳法 》 + NT$ 711 《 代数（原书第2版） 》 + NT$ 342 《 生活中的概率趣事 》 + NT$ 646 《 幻方和魔方 》 內容簡介： 《集合论含有原子的自然模型和布尔值模型》由李娜所著，在含有原子的公理集合论系统的基础上，力图建立两大类模型——自然模型和布尔值模型。不仅从理论上丰富了数理逻辑的重要分支——公理集合论的刻画集论模型的理论，为现代逻辑的研究提供证明根据，而且也促进了现代数理逻辑与哲学逻辑之间的相互渗透、相互融合，从而为描述和模拟人类思维提供指导，为哲学应用提供更可靠的工具，对于逻辑学研究的多元化具有重要的理论意义和现实意义。 關於作者： 李娜，女，1958年3月生于河南开封市。1982年毕业于河南大学数学系，获理学学士学位。1989年毕业于中国科学院软件研究所，获理学硕士学位。现任南开大学哲学系教授、博士生导师，中山大学逻辑与认知研究所专职研究员。主要著作有《现代逻辑若干问题研究》等。 目錄： 序 第一章基本概念 §1 集合论的形式语言 §2 集合论的公理系统 §3 布尔代数 §4 一些常用的概念 第二章自然模型 §1 ZFC的自然模型V及其一些基本性质 §2 GB的自然模型∑及其一些基本性质 §3 COG的自然模型人及其一些基本性质 §4 ACG的自然模型Q及其一些基本性质 第三章含有原子的自然模型 §1 ZFA的自然模型及其一些基本性质 §2 GBA的自然模型及其一些基本性质 §3 COGA的自然模型及其一些基本性质 §4 ACGA的自然模型及其一些基本性质 第四章布尔值模型 §1 ZFC的布尔值模型及其一些基本性质 §2 GB的布尔值模型及其一些基本性质 §3 COG的布尔值模型及其一些基本性质 §4 ACG的布尔值模型及其一些基本性质 第五章含有原子的布尔值模型 §1 ZFA的布尔值模型及其一些基本性质 §2 GBA的布尔值模型及其一些基本性质 §3 COGA的布尔值模型及其一些基本性质 §4 ACGA的布尔值模型及其一些基本性质 附论文 参考文献

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