中图网(原中国图书网)：网上书店，中文字幕在线一区二区三区，尾货特色书店，中文字幕在线一区，30万种特价书低至2折！

歡迎光臨中圖網 請 | 注冊
>
關于“郁文生//付堯順//郭禮權”檢索到   共1種現貨商品
售價：
折扣：

  • 包郵分析基礎機器證明系統

    ¥148.5(7.5折)定價:¥198.0

    本書利用交互式定理證明工具Coq，在樸素集合論的基礎上，從Peano五條公設出發，完整實現Landau有名的《分析基礎》中實數理論的形式化系統，包括對該專著中全部5個公設、73條定義和301個定理的Coq描述，其中依次構造了自然數、分數、分割、實數和復數，并建立了Dedekind實數完備性定理，從而迅速且自然地給出數學分析的堅實基礎。在分析基礎形式化系統下，給出Dedekind實數完備性定理與它的幾個有名等價命題間等價性的機器證明，這

編輯推薦

中圖網
返回頂部
主站蜘蛛池模板： 热处理炉-退火炉-回火炉设备厂家-丹阳市电炉厂有限公司 | 保镖公司-私人保镖-深圳保镖公司【环宇兄弟保镖】 | 制氮设备-变压吸附制氮设备-制氧设备-杭州聚贤气体设备制造有限公司 | 筛分机|振动筛分机|气流筛分机|筛分机厂家-新乡市大汉振动机械有限公司 | 山东螺杆空压机,烟台空压机,烟台开山空压机-烟台开山机电设备有限公司 | 一氧化氮泄露报警器,二甲苯浓度超标报警器-郑州汇瑞埔电子技术有限公司 | 气体热式流量计-定量控制流量计(空气流量计厂家)-湖北南控仪表科技有限公司 | 专业广州网站建设，微信小程序开发，一物一码和NFC应用开发、物联网、外贸商城、定制系统和APP开发【致茂网络】 | 济南电缆桥架|山东桥架-济南航丰实业有限公司 | 二手光谱仪维修-德国OBLF光谱仪|进口斯派克光谱仪-热电ARL光谱仪-意大利GNR光谱仪-永晖检测 | 中国玩具展_玩具展|幼教用品展|幼教展|幼教装备展 | 全自动在线分板机_铣刀式在线分板机_曲线分板机_PCB分板机-东莞市亿协自动化设备有限公司 | 滚筒烘干机_转筒烘干机_滚筒干燥机_转筒干燥机_回转烘干机_回转干燥机-设备生产厂家 | 郑州外墙清洗_郑州玻璃幕墙清洗_郑州开荒保洁-河南三恒清洗服务有限公司 | 细沙回收机-尾矿干排脱水筛设备-泥石分离机-建筑垃圾分拣机厂家-青州冠诚重工机械有限公司 | 科箭WMS仓库管理软件-TMS物流管理系统-科箭SaaS云服务 | 聚天冬氨酸,亚氨基二琥珀酸四钠,PASP,IDS - 远联化工 | 奶茶加盟,奶茶加盟店连锁品牌-甜啦啦官网| 旅游规划_旅游策划_乡村旅游规划_景区规划设计_旅游规划设计公司-北京绿道联合旅游规划设计有限公司 | 扬子叉车厂家_升降平台_电动搬运车|堆高车-扬子仓储叉车官网 | 污水处理设备-海普欧环保集团有限公司 | 原子吸收设备-国产分光光度计-光谱分光光度计-上海光谱仪器有限公司 | 温州富欧金属封头-不锈钢封头厂家 | 浩方智通 - 防关联浏览器 - 跨境电商浏览器 - 云雀浏览器 | 铝镁锰板厂家_进口钛锌板_铝镁锰波浪板_铝镁锰墙面板_铝镁锰屋面-杭州军晟金属建筑材料 | 沈阳液压泵_沈阳液压阀_沈阳液压站-沈阳海德太科液压设备有限公司 | 贵州科比特-防雷公司厂家提供贵州防雷工程,防雷检测,防雷接地,防雷设备价格,防雷产品报价服务-贵州防雷检测公司 | 钢骨架轻型板_膨石轻型板_钢骨架轻型板价格_恒道新材料 | EPK超声波测厚仪,德国EPK测厚仪维修-上海树信仪器仪表有限公司 | 卫生纸复卷机|抽纸机|卫生纸加工设备|做卫生纸机器|小型卫生纸加工需要什么设备|卫生纸机器设备多少钱一台|许昌恒源纸品机械有限公司 | 广州小程序开发_APP开发公司_分销商城系统定制_小跑科技 | 精密冲床,高速冲床等冲压设备生产商-常州晋志德压力机厂 | 安全光栅|射频导纳物位开关|音叉料位计|雷达液位计|两级跑偏开关|双向拉绳开关-山东卓信机械有限公司 | 车辆定位管理系统_汽车GPS系统_车载北斗系统 - 朗致物联 | 氟塑料磁力泵-不锈钢离心泵-耐腐蚀化工泵厂家「皖金泵阀」 | 充气膜专家-气膜馆-PTFE膜结构-ETFE膜结构-商业街膜结构-奥克金鼎 | 海德莱电力（HYDELEY）-无功补偿元器件生产厂家-二十年专业从事电力电容器 | 山东螺杆空压机,烟台空压机,烟台开山空压机-烟台开山机电设备有限公司 | 超声骨密度仪,双能X射线骨密度仪【起草单位】,骨密度检测仪厂家 - 品源医疗（江苏）有限公司 | 回收二手冲床_金丰旧冲床回收_协易冲床回收 - 大鑫机械设备 | 全自动贴标机-套标机-工业热风机-不干胶贴标机-上海厚冉机械 |