購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
精确
模式”搜“
郁文生 孙天宇 付尧顺 郁文生 孫天宇
”共有
4
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
公理化集合论机器证明系统
『简体书』 作者：郁文生，孙天宇，付尧顺 出版：科学出版社 日期：2020-03-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系 ... |
詳情>> | |
 |
分析基础机器证明系统
『简体书』 作者：郁文生，付尧顺，郭礼权 出版：科学出版社 日期：2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq ... |
詳情>> | |
 |
自然数的紧化延伸机器证明系统
『简体书』 作者：郁文生，窦国威 出版：科学出版社 日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统， 包括超滤空间与算术 ... |
詳情>> | |
 |
让妈妈不再有
『简体书』 作者：徐铭军、孙天宇 出版：人民卫生出版社 日期：2016-11-01 本书为有关分娩镇痛的科普性图书，让准妈妈们了解到生孩子到底有多疼？产痛的机制是什么？产痛的危害有哪些？哪些因素影响分娩的舒适度？如何进行分娩镇痛？怎样配合医生实 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/4） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |