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

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

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

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

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

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

售價：HK$ 331.2

我要買 件

share:

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

新書推薦：
黄帝内经素问集注
《 黄帝内经素问集注 》
售價：HK$ 69.3
大国产业—中国产业现代化转型升级与时代机遇
《 大国产业—中国产业现代化转型升级与时代机遇 》
售價：HK$ 86.9
儿童和青少年心理咨询
《 儿童和青少年心理咨询 》
售價：HK$ 151.8
我们如何学习：学习与教学的科学方法 （西班牙）艾克托尔·鲁伊兹·马丁
《 我们如何学习：学习与教学的科学方法 （西班牙）艾克托尔·鲁伊兹·马丁 》
售價：HK$ 86.9
感受的力量--像艺术家一样观看
《 感受的力量--像艺术家一样观看 》
售價：HK$ 57.2
知宋·宋代之交通
《 知宋·宋代之交通 》
售價：HK$ 86.9
知宋·宋代之君主
《 知宋·宋代之君主 》
售價：HK$ 97.9
民国时期京剧名伶专集汇编（全4册）
《 民国时期京剧名伶专集汇编（全4册） 》
售價：HK$ 4378.0

 
建議一齊購買：

+

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.