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

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

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

『簡體書』自然数的紧化延伸机器证明系统

書城自編碼: 3998457
分類:簡體書→大陸圖書→計算機/網絡计算机理论
作者: 郁文生,窦国威
國際書號(ISBN): 9787030775450
出版社: 科学出版社
出版日期: 2024-05-01

頁數/字數: /
書度/開本: 16开 釘裝: 精装

售價:HK$ 331.2

我要買

 

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


新書推薦:
铝合金先进成型技术
《 铝合金先进成型技术 》

售價:HK$ 273.7
英雄之旅:把人生活成一个好故事
《 英雄之旅:把人生活成一个好故事 》

售價:HK$ 89.7
分析性一体的涌现:进入精神分析的核心
《 分析性一体的涌现:进入精神分析的核心 》

售價:HK$ 125.4
火枪与账簿:早期经济全球化时代的中国与东亚世界
《 火枪与账簿:早期经济全球化时代的中国与东亚世界 》

售價:HK$ 79.4
《全面与进步跨太平洋伙伴关系协定》国有企业条款研究
《 《全面与进步跨太平洋伙伴关系协定》国有企业条款研究 》

售價:HK$ 101.2
银行业架构网络BIAN(全球数字化时代金融服务业框架)(数字化转型与创新管理丛书)
《 银行业架构网络BIAN(全球数字化时代金融服务业框架)(数字化转型与创新管理丛书) 》

售價:HK$ 101.2
金托邦:江湖中的沉重正义
《 金托邦:江湖中的沉重正义 》

售價:HK$ 62.1
易经今解:释疑·解惑·见微
《 易经今解:释疑·解惑·见微 》

售價:HK$ 90.9

 

建議一齊購買:

+

HK$ 90.9
《控制之美(卷2)——最优化控制MPC与卡尔曼滤波器》
+

HK$ 172.5
《游戏地图》
+

HK$ 91.8
《AIGC自动化编程:基于ChatGPT和GitHub Cop》
+

HK$ 147.2
《大模型时代的基础架构:大模型算力中心建设指南》
+

HK$ 78.2
《多目标元胞差分算法及其应用》
+

HK$ 148.4
《计算机网络:自顶向下方法(原书第8版)》
內容簡介:
数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq, 在Morse-Kelley 公理化集合论形式化系统下,给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统, 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现, 构建了非标准实数模型, 自然包含标准实数模型, 并且给出滤子扩张原则和连续统假设蕴含非主算术超滤存在的形式化验证. 在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码, 所有形式化过程已被Coq验证, 并在计算机上运行通过, 充分体现了基于Coq 的数学定理机器证明具有可读性、交互性和智能性的特点, 其证明过程规范、严谨、可靠. 该系统可方便地应用于非标准分析理论的形式化构建.本书可作为数学与计算机科学、信息科学相关专业的高年级本科生或研究生教材, 也可供从事人工智能相关科研工作者学习参考.
關於作者:
第三届杨嘉墀科技奖(2013),吴文俊人工智能科学技术奖自然科学奖(2017)。

 

 

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