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

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

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

『簡體書』公理化集合论机器证明系统

書城自編碼： 3481628
分類：簡體書→大陸圖書→自然科學→數學
作者： 郁文生，孙天宇，付尧顺
國際書號(ISBN)： 9787030640390
出版社： 科学出版社
出版日期： 2020-03-01

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

售價：HK$ 169.0

我要買 件

share:

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

新書推薦：
无辜的共犯
《 无辜的共犯 》
售價：HK$ 52.8
万千心理·动机式访谈实务应用
《 万千心理·动机式访谈实务应用 》
售價：HK$ 85.8
制造误诊：未被好好对待的女性身体
《 制造误诊：未被好好对待的女性身体 》
售價：HK$ 86.9
海鸥才不管那么多
《 海鸥才不管那么多 》
售價：HK$ 54.9
螳螂的自然史
《 螳螂的自然史 》
售價：HK$ 135.6
钱谦益年谱长编（上中下）
《 钱谦益年谱长编（上中下） 》
售價：HK$ 684.4
ESC心血管疾病患者运动心脏病学和体育锻炼指南解读
《 ESC心血管疾病患者运动心脏病学和体育锻炼指南解读 》
售價：HK$ 80.2
认知差：人为什么赚不到认知范围以外的钱？
《 认知差：人为什么赚不到认知范围以外的钱？ 》
售價：HK$ 73.2

 
內容簡介：
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理含选择公理和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是Morse-Kelley公理化集合论系统的首次形式化实现.在Morse-Kelley公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukey引理、Hausdorff极大原则、极大原则、Zorn引理、良序定理及Zermelo假定等.在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于拓扑学和代数学理论的形式化构建.

 

 

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