注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 公理集合论导引(国人第一权集合论专著)

  2. 每个人都知道许多集合，但是，值得注意的是集合这一重要的概念，没有一个来谨的数学定义。只是有一个描述性的说明。.......

  3. 所属分类：专业指导

    • 发布日期：2009-05-16
    • 文件大小：5mb
    • 提供者：lcxs138

  1. 离散数学-集合论，共9章，比较全面

  2. 共9章， 1、集合基本性质 2、映射 3、关系 4、基数 5、序数和超穷归纳法 6、选择公理 7、集域代数和超滤简介 8、映射和数的集合构造 9、集合论悖论

  3. 所属分类：专业指导

    • 发布日期：2009-09-11
    • 文件大小：1mb
    • 提供者：ydvictor

  1. 自然哲学之数学原理 作者： （英）牛顿

  2. 在《自然哲学之数学原理》中，牛顿通过基本力学概念的定义、运动三定律、万有引力定律和大量复杂精确的推导，构建了一个人类有史以来最为宏伟的物理理论体系。他所说的力主要是重力，以及由重力所派生出来的摩擦力、阻力和海洋的潮汐力等，而运动则包括落体、抛体、球体滚动、摆体和流体运动，以及行星的自转、公转、回归点运动、轨道章动等。牛顿的理论很好地解释了当时已知的一切运动形式和现象。 《自然哲学之数学原理》导读 定义. 运动的公理或定律 第一编 物体的运动 第1章 初量与终量的比值方法，由此可以证明下述命题

  3. 所属分类：专业指导

    • 发布日期：2011-01-19
    • 文件大小：11mb
    • 提供者：zhousiwei

  1. 公理集合论导引.pdf

  2. 公理集合论导引.pdf

  3. 所属分类：专业指导

    • 发布日期：2008-05-08
    • 文件大小：5mb
    • 提供者：victor_he

  1. 数学守则公理公式

  2. 包括数学公理、公式、定义，包括复变函数、特殊函数、常微分方程、偏微分方程、积分方程等

  3. 所属分类：专业指导

    • 发布日期：2012-11-19
    • 文件大小：11mb
    • 提供者：xih_macro

  1. 给讨厌数学的人---数学的奥妙和生活

  2. 数学大师小室直树力作------给讨厌数学的人---数学的奥妙和生活 数学的灵魂---逻辑 让人走出公理---推理的惯性，不再惧怕真理的丧失 受益匪浅，值得推荐 而且，同样精简了文件大小，放心使用

  3. 所属分类：专业指导

    • 发布日期：2008-10-18
    • 文件大小：4mb
    • 提供者：kiracl

  1. Subsystems of Second Order Arithmetic

  2. 这本书是反推数学相关的入门经典，反推数学是数理逻辑中的一个小分支，希望过通过求得构造数学定理所需要的最弱公理系统来研究定理之间的等价性和难证性。

  3. 所属分类：专业指导

  1. 公理集合论导论

  2. 公理集合论（axiomatic set theory）是数理逻辑的主要分支之一，是用公理化方法重建(朴素) 集合论的研究以及集合论的元数学和集合论的新的公理的研究。 19世纪70年代，德国数学家G.康托尔给出了一个比较完整的集合论，对无穷集合的序数和基数进行了研究。20世纪初，罗素悖论指出了康托尔集合论的矛盾。为了克服悖论，人们试图把集合论公理化，用公理对集合加以限制。

  3. 所属分类：专业指导

    • 发布日期：2018-08-15
    • 文件大小：5mb
    • 提供者：qq_41793276

  1. 离散数学PPT

  2. 离散数学公理系统PPT，配合离散数学书本学习 离散数学是计算机学习的基础

  3. 所属分类：讲义

    • 发布日期：2018-09-16
    • 文件大小：2mb
    • 提供者：yusong233

  1. 自然哲学的数学原理

  2. 《自然哲学的数学原理》的宗旨是从各种运动现象中探究自然力，再用这些力来解释自然现象。贯穿全书始终的核心内容，是三大运动定律和万有引力定律。全书共分五部分，第一部分是写在正文前面的一个长长的“说明”，对书中用到的一些概念，诸如力、天体、力学、运动、物质的量等给出了定义和必要的说明；第二部分是“公理或运动的定律”，详细介绍了物体运动的三大定律：惯性定律、力和运动关系的定律、作用和反作用的定律；第三部分为该书的第一卷，讨论了物体在无阻力的自由空间中的运动；第四部分为该书的第二卷，对比了不同物体在阻滞

  3. 所属分类：教育

    • 发布日期：2018-12-16
    • 文件大小：59mb
    • 提供者：bonj2011

  1. Sager数学软件包v6.6中文官方安装版

  2. Sager是一款非常好用的且功能强大的开源的数学软件包，Sage中包含了Magma, Maple, Mathematica等多个接口，还有免费的公理Axiom, GAP, GP/PARI, Macaulay2。Sager可以用来谢谢一写纯数学和应用数学，是一款很适合用于教育和研究的数学软件。需要此款工具的朋友们可以前来下载使用。 基本简介 sager是开源数学计算工具，是如下工具的开源替代品，

  3. 所属分类：其它

    • 发布日期：2019-07-30
    • 文件大小：44kb
    • 提供者：weixin_39841848

  1. 并行性分析的数学原理PDF带目录高清完整版.rar

  2. 软件介绍: 并行性分析的数学原理：与现代并行处理计算机相伴而生，从20世纪70年代起，并行性分析的理论研究和工程实践业已走过40余年的光辉历程(附录1)。先驱者依据各自对并行性的理解，发挥各自长期形成的数学优势，采取各色各样的数学观点，研制出各具特色的分析工具，为并行机的推广应用作出了贡献。本书以作者几十年贯穿于“下标追踪法一元素视图一数据相关性’’的理论研究，以及在我国某两种并行机序列中的工程实践为基础，几乎涵盖所有历史上出现过的研究成果，统一到“公理一定义一引理一定理一证明一推论一应用”的

  3. 所属分类：其它

    • 发布日期：2019-09-05
    • 文件大小：193mb
    • 提供者：weixin_38744207

  1. 吴文俊：不朽的数学人生，照耀人工智能发展之路.md

  2. 2019.09.17 中国人工智能学会原名誉理事长、中国科学院院士吴文俊获“人民科学家”国家荣誉称号的新闻报道。回顾大师不朽的数学人生，了解成就：吴类（拓扑学示性类及示嵌类）和吴公式，古代数学的算法和可计算性分析，开创崭新的**数学机械化**领域，提出 **用计算机证明几何定理的“吴方法”**,成为**自动推理领域**的先驱。 哥德尔的不完备性定理昭示了数学真理的探索永无止境，没有囊括一切真理的公理系统存在。真理的发展和认识是无穷的。不完备恰好预留了真理发展的空间。欧几里得几何的公理体系由于不

  3. 所属分类：机器学习

    • 发布日期：2019-09-21
    • 文件大小：14kb
    • 提供者：qq_27206435

  1. 哥德尔公理有效性证明.rar

  2. 哥德尔公理有效性证明 这本书能有效说明数学是被发现的，还是发明的？ 你是否曾对π 中的数字排列如此混乱而感到困惑？为什 么 “圆的周长含有多少个直径的长度” 这样一个简单而又 自然的问题，竟导致这么一个玄奥难解的数，它不仅不是整 数，甚至也不是两个整数之比？

  3. 所属分类：机器学习

    • 发布日期：2020-04-21
    • 文件大小：903kb
    • 提供者：weixin_41172725

  1. 计算机数学-刘新宇-自然数

  2. 计算机数学-刘新宇-自然数，学习计算机数学的资料。主要描述了自然数的一些历史以及公理，很有学习价值。

  3. 所属分类：其它

    • 发布日期：2020-02-27
    • 文件大小：2mb
    • 提供者：QQ276592716

  1. 数学分析第一册 何琛 史济怀 徐森林.pdf

  2. 数学分析第一册 何琛 史济怀 徐森林§1.3B的完备性·实数公理 ……………………305 §.4上极限和下极限……………"…"…""t"…3i4 第二节函数的连续性和叮积性 ;*323 §2.1连续响数性质的证明 ■甲甲司■■日加幽會■十1■■|■ 323 致连绒………… ■■■血1口會■■■r 14十↓·P 25 §23数的可积性 甲司司甲·b■ n+4M,…n…………33 第一章极限与连续 第一节国数 81,1实数和数轴 数学中的一个大的分支叫做“分析学"分析学是从“微积分” 开始的.微积

  3. 所属分类：专业指导

    • 发布日期：2019-07-22
    • 文件大小：5mb
    • 提供者：eternal_dark

  1. 数学 实数连续性九个定理等价的证明.

  2. 详细给出了实数连续性的九条公理的等价性证明，在思想上有很大的借鉴作用

  3. 所属分类：专业指导

    • 发布日期：2013-05-28
    • 文件大小：217kb
    • 提供者：u010864591

  1. 公理：我的开发设置规则-源码

  2. 公理 这些是我自己的开发设置的公理或规则。 基本原理 公理是为了建立数学系统而必须成立的假设。 有了它们，就可以构建更复杂的语句。 本着同样的精神，需要开发新软件的基本构件，而这些构件应该始终是正确的，即健壮和可靠。 有了这个存储库，一个人应该能够拥有一些基本的构建模块，这些模块可以使热心的开发人员能够生产任何类型的优质软件。 结构 一切都通过文件master-config.toml进行编排，在这里我可以自由浏览我使用的所有内容，还有一个Python解析器负责安装和更新所有内容。 所有配置文

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：365kb
    • 提供者：weixin_42144366

  1. pga-axioms：用于折纸的Huzita-Hatori公理，使用2D射影几何代数实现-源码

  2. PGA公理 :world_map_selector: 使用射影几何代数（PGA）探索Huzita-Hatori公理的折纸程序。 描述 Huzita-Hatori公理 Huzita-Hatori公理是一组7条规则，描述了人们可以折叠一张纸的方式。 每个折叠都可以用7个公理之一来描述。 公理本身在以下中进行了详细描述。 举例来说，公理1指出：“给定两个点p0和p1 ，有一个唯一的折痕穿过这两个点。” 在这种情况下，所需的折痕是穿过两个点的直线。 该软件尝试将每个公理转换为“交互式草图”，使点和线

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：94kb
    • 提供者：weixin_42144707

  1. 高中数学《平面三公理》公开课优秀教学设计三

  2. 教学设计课题2.1.1平面一教学内容解析教学目标设置学生学情分析教学策略分析六教学过程对2.1.1平面课的点评2.1.1平面是人教A版数学必修二的第二章第一节其主要内容是平面的描述性概念及三个公理在本

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：844kb
    • 提供者：weixin_38737980
« 12 3 »