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

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

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

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

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

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

售價：HK$ 331.2

我要買 件

share:

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

新書推薦：
机械复制时代的艺术作品：本雅明精选集
《 机械复制时代的艺术作品：本雅明精选集 》
售價：HK$ 85.8
爱因斯坦学习法
《 爱因斯坦学习法 》
售價：HK$ 60.5
印度古因明研究
《 印度古因明研究 》
售價：HK$ 129.8
帝国痼疾：殖民主义、奴隶制和战争如何改变医学
《 帝国痼疾：殖民主义、奴隶制和战争如何改变医学 》
售價：HK$ 79.2
理智与疯狂
《 理智与疯狂 》
售價：HK$ 74.8
数字文化：公共空间、平台与算法
《 数字文化：公共空间、平台与算法 》
售價：HK$ 108.9
明代一条鞭法（精）--梁方仲著作集
《 明代一条鞭法（精）--梁方仲著作集 》
售價：HK$ 85.8
自我与本我：弗洛伊德经典心理学著作（精装典藏版）
《 自我与本我：弗洛伊德经典心理学著作（精装典藏版） 》
售價：HK$ 74.8

 
建議一齊購買：

+

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 - 2025 （香港）大書城有限公司　 All Rights Reserved.