返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 醉染图书分析基础机器明系统9787030706713
  • 正版全新
    • 作者: 郁文生,付尧顺,郭礼权著 | 郁文生,付尧顺,郭礼权编 | 郁文生,付尧顺,郭礼权译 | 郁文生,付尧顺,郭礼权绘
    • 出版社: 科学出版社
    • 出版时间:2022-01-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    醉染图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 郁文生,付尧顺,郭礼权著| 郁文生,付尧顺,郭礼权编| 郁文生,付尧顺,郭礼权译| 郁文生,付尧顺,郭礼权绘
    • 出版社:科学出版社
    • 出版时间:2022-01-01
    • 版次:1
    • 印次:1
    • 字数:500000
    • 页数:420
    • 开本:B5
    • ISBN:9787030706713
    • 版权提供:科学出版社
    • 作者:郁文生,付尧顺,郭礼权
    • 著:郁文生,付尧顺,郭礼权
    • 装帧:精装
    • 印次:1
    • 定价:198.00
    • ISBN:9787030706713
    • 出版社:科学出版社
    • 开本:B5
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2022-01-01
    • 页数:420
    • 外部编号:1202576389
    • 版次:1
    • 成品尺寸:暂无

    前言

    致谢

    符号汇集

    章 引言

    1.1 概述

    1.1.1 明辅工具Coq

    1.1.2 形式化数学

    1.1.3 分析基础

    1.1.4 第三代微积分

    1.1.5 本书结构安排

    1.2 基本Coq指令清单及逻辑预备知识

    1.3 集合与映的些基本概念

    第2章 分析基础的形式化系统实现

    2.1 自然数

    2.1.1 公理

    2.1.2 加法

    2.1.3 序

    2.1.4 乘法

    2.1.5 补充材料:有限数的定义及质

    2.2 分数

    2.2.1 定义和等价

    2.2.2 序

    2.. 加法

    2.2.4 乘法

    2.2.5 有理数和整数

    . 分割

    ..1 定义

    ..2 序

    .. 加法

    ..4 乘法

    ..5 有理分割和整分割

    2.4 实数

    2.4.1 定义

    2.4.2 序

    2.4.3 加法

    2.4.4 乘法

    2.4.5 Dedekind基本定理

    2.4.6 补充材料:实数运算的一些质

    2.4.7 补充材料:实数序列的一些质

    2.5 复数

    2.5.1 定义

    2.5.2 加法

    2.5.3 乘法

    2.5.4 减法

    2.5.5 除法

    2.5.6 共轭复数

    2.5.7 值

    2.5.8 和与积

    2.5.9 幂

    2.5.10 将实数编排在复数系统中

    第3章 实数完备等命题的机器明

    3.1 确界存在定理

    3.1.1 用Dedekind基本定理明确界存在定理

    3.1.2 用确界存在定理明Dedekind基本定理

    3.2 单调有界定理

    3.3 闭区间套定理

    3.4 有限覆盖定理

    3.5 聚点原理

    3.6 列紧定理

    3.7 Cauchy收敛准则

    3.8 用Cauchy收敛准则明Dedekind基本定理

    第4章 闭区间上连续函数质的机器明

    4.1 基本定义

    4.2 有界定理

    4.3 值定理

    4.4 介值定理

    4.5 一致连续定理

    第5章 第三代微积分的形式化实现

    5.1 预备知识

    5.1.1 基本定义

    5.1.2 一些引理

    5.2 导数和定积分的初等定义

    5.3 积分与微分的新视角

    5.4 微积分系统的基本定理

    第6章 总结与注记

    参考文献

    附录 Coq指令说明

    A.1 Coq专用术语

    A.2 Coq明指令

    A.3 集成策略

    索引


    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购