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

搜索资源列表

  1. 《点集拓扑讲义》题解（熊金城）

  2. 第1卷 点集拓扑基础 第一章 朴素集合论 1．1 集合的基本概念 1．2 集合的基本运算 1．3 关系 1．4 等价关系 1．5 映射 1．6 集族及其运算 1．7 可数集，不可数集，基数 1．8 选择公理 第二章 拓扑空间与连续映射 2．1 度量空间与连续映射 2．2 拓扑空间与连续映射 2．3 邻域与邻域系 2．4 导集，闭集，闭包 2．5 内部，边界 2．6 基与子基 2．7 拓扑空间中的序列 第三章 子空间，(有限)积空间，商空间 3．1 子空间 3．2 (有限)积空间 3．3 商空间

  3. 所属分类：专业指导

    • 发布日期：2009-07-26
    • 文件大小：1048576
    • 提供者：pengming0218

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

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

  3. 所属分类：专业指导

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

  1. 朴素集合论-6、选择公理

  2. 朴素集合论-6、选择公理! 值得下载看看!资源免费,大家分享!!

  3. 所属分类：Java

    • 发布日期：2010-02-25
    • 文件大小：122880
    • 提供者：ynsky

  1. 关于选择公理的某些应用

  2. 关于选择公理的某些应用，PDF，文字版，非扫描，4页。

  3. 所属分类：专业指导

    • 发布日期：2010-03-22
    • 文件大小：141312
    • 提供者：maming2000

  1. 编程卓越之道:卷一/二

  2. 目录回到顶部↑1 编写卓越代码须知. 1.1 编程卓越之道系列 1 1.2 本卷内容 3 1.3 本卷所做的假设 5 1.4 卓越代码的各项特征 6 1.5 本卷涉及的环境 7 1.6 获取更多信息 8 2 数值表示 2.1 什么是数 10 2.2 计数系统（Numbering System） 11 2.2.1 十进制位值计数系统 11 2.2.2 进制（基数） 12 2.2.3 二进制计数系统 13 2.2.4 十六进制计数系统 15 2.2.5 八进制（基数为8）计数系统 18 2.3 数

  3. 所属分类：硬件开发

    • 发布日期：2010-10-10
    • 文件大小：39845888
    • 提供者：xqq524148626

  1. 软件架构师应该知道的97件事（英文）

  2. 目录 前言 客户需求重于个人简历 简化根本复杂性，消除偶发复杂性 关键问题可能不是出在技术上 以沟通为中心，坚持简明清晰的表达方式和开明的领导风格 架构决定性能 分析客户需求背后的意义 起立发言 故障终究会发生 我们常常忽略了自己在谈判 量化需求 一行代码比五百行架构说明更有价值 不存在放之四海皆准的解决方案 提前关注性能问题 架构设计要平衡兼顾多方需求 草率提交任务是不负责任的行为 不要在一棵树上吊死 业务目标至上 先确保解决方案简单可用，再考虑通用性和复用性 架构师应该亲力亲为 持续集成

  3. 所属分类：其它

    • 发布日期：2011-12-15
    • 文件大小：1048576
    • 提供者：dizzh

  1. 注册表公理

  2. 我相信我的选择是您正确的指导，相信我，你一定可以的，加油

  3. 所属分类：OS

    • 发布日期：2012-03-19
    • 文件大小：437248
    • 提供者：hcz804933522

  1. 三级数据库基础知识汇编

  2. 三级数据库基础知识汇编 第1章 基础知识 7 1.1 知识点 7 1.1.1 计算机发展阶段 7 1.1.2 计算机系统的组成 7 1.1.3 计算机应用领域 8 1.1.4 计算机分类 8 1.1.5 计算机语言 8 1.1.6 计算机软件 9 1.1.7 计算机网络 9 1.1.8 数据通信基本原理 10 1.1.9 网络体系结构与TCP/IP协议 10 1.1.10 信息安全基础 11 1.1.11 操作系统安全 11 1.2 重点难点 12 1.2.1 计算机网络的组成及其拓扑结构 1

  3. 所属分类：MySQL

    • 发布日期：2012-08-08
    • 文件大小：780288
    • 提供者：w632307153

  1. LinuxC程序员指南

  2. 第1章 linux c程序概论 1．1 linux简介 1．1．1 为什么选择linux 1．1．2 为什么选择c语言 1．2 开发第一个程序 1．3 怎样获取帮助信息 1．3．1 使用man命令 1．3．2 指定man的搜索路径 1．3．3 一个小技巧 1．4 linux c程序的框架 1．4．1 关于程序的存放目录 1．4．2 头文件 1．4．3 函数库 1．4．4 静态函数库 1．4．5 共享函数库 1．5 一些公理 第2章 文件操作 2．1 linux文件结构 2．1．1 文件与目录

  3. 所属分类：C

    • 发布日期：2012-11-13
    • 文件大小：7340032
    • 提供者：ystudy

  1. 软件架构师应该知道的97件事

  2. 前言 客户需求重于个人简历 简化根本复杂性，消除偶发复杂性 关键问题可能不是出在技术上 以沟通为中心，坚持简明清晰的表达方式和开明的领导风格 架构决定性能 分析客户需求背后的意义 起立发言 故障终究会发生 我们常常忽略了自己在谈判 量化需求 一行代码比五百行架构说明更有价值 不存在放之四海皆准的解决方案 提前关注性能问题 架构设计要平衡兼顾多方需求 草率提交任务是不负责任的行为 不要在一棵树上吊死 业务目标至上 先确保解决方案简单可用，再考虑通用性和复用性 架构师应该亲力亲为 持续集成 避免进

  3. 所属分类：其它

    • 发布日期：2013-04-08
    • 文件大小：24117248
    • 提供者：zhangenshu

  1. 软件架构师应该知道的97件事总结

  2. 前言 客户需求重于个人简历 简化根本复杂性，消除偶发复杂性 关键问题可能不是出在技术上 以沟通为中心，坚持简明清晰的表达方式和开明的领导风格 架构决定性能 分析客户需求背后的意义 起立发言 故障终究会发生 我们常常忽略了自己在谈判 量化需求 一行代码比五百行架构说明更有价值 不存在放之四海皆准的解决方案 提前关注性能问题 架构设计要平衡兼顾多方需求 草率提交任务是不负责任的行为 不要在一棵树上吊死 业务目标至上 先确保解决方案简单可用，再考虑通用性和复用性 架构师应该亲力亲为 持续集成 避免进

  3. 所属分类：其它

    • 发布日期：2018-05-10
    • 文件大小：14336
    • 提供者：jzb01332

  1. Zermelo证明良序原则

  2. 公理集合论 策梅洛从选择公理证明良序原则 公理集合论 策梅洛从选择公理证明良序原则

  3. 所属分类：讲义

    • 发布日期：2018-02-12
    • 文件大小：167936
    • 提供者：weixin_36537311

  1. de Sitter时空中的半经典引力和宇宙常数

  2. 我们表明，存在一个由自由Klein-Gordon场的重新归一化应力能张量得到的de Sitter时空中半经典重力方程的解。 对于无质量标量，只要适当选择曲率耦合参数，就可以针对宇宙学常数的每个可能值存在解。 在大量情况下，将Wald公理强加给重新规范化的应力能张量，场质量和曲率耦合约束Λ的允许值。 对于一个巨大的，最小耦合的场，找到一个“小Λ”解，由关系m2≃4.89707×1012Λ固定。 我们强调，在这个框架中，在标准公式中，旧的宇宙常数问题没有作用，因为在半经典方程式中仅存在物理Λ，因此没

  3. 所属分类：其它

    • 发布日期：2020-03-28
    • 文件大小：304128
    • 提供者：weixin_38731479

  1. Proof of the Equivalence of Axiom of Choice and Compactness Theorem on Product Space

  2. 选择公理与乘积空间紧致性定理等价的证明，李栩，刘达通，本文主要探讨了选择公理与乘积拓扑空间紧致性定理等价的证明。其中用到了选择公理的一个有名的等价形式——佐恩引理(Zorn＇s Lemma)�

  3. 所属分类：其它

    • 发布日期：2020-02-19
    • 文件大小：142336
    • 提供者：weixin_38730389

  1. 变权综合决策中变权向量的构造

  2. 为了构造符合人类决策思维和决策偏好的综合决策模型,采用理论推导和实验的方法,引入了一个变权因子,构造了一组变权公式。构造的变权公式满足变权的三个公理条件,当用于加权综合分析时,也满足可加型综合函数的定义。通过实例对提出的变权综合决策模型进行了验证。结果表明,选择不同的变权因子,构造不同的变权综合决策模型,可实现对综合决策结果的不同偏好要求。研究结果可用于多指标综合决策与评价应用中,决策结果更加符合人类决策思维和决策偏好。

  3. 所属分类：其它

    • 发布日期：2020-06-27
    • 文件大小：933888
    • 提供者：weixin_38690095

  1. 无需选择公理的康托尔-伯恩斯坦-施罗德定理Coq的形式证明

  2. 无需选择公理的康托尔-伯恩斯坦-施罗德定理Coq的形式证明

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：286720
    • 提供者：weixin_38702047

  1. 次概率程序的语义

  2. 本文目的是扩充概率程序中的概率选择至亚概率选择，研究亚概率而语言的公理语义及指称语义并证明二者等价。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：189440
    • 提供者：weixin_38550459

  1. UF中的形式拓扑：单价基础中的形式拓扑（WIP）-源码

  2. 单价基础中的形式拓扑 。 这是我在Chalmers技术大学（即将发表的）硕士论文的标题为“单价基金会的形式拓扑”的Agda开发。 这里实现的形式拓扑方法遵循Thierry Coquand [0]的想法，将形式拓扑定义为具有坐姿。 这种发展的主要新颖之处在于将覆盖定义为HIT。 在单价类型理论的上下文中，这似乎有必要避免使用选择公理的形式。 本文中提供的代码版本将被存档，而该存储库（到目前为止，它几乎是相同的）将得到维护和进一步开发。 问题：什么是形式拓扑？ 这是乔瓦尼·萨宾[1]给出的答

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：87040
    • 提供者：weixin_42113380

  1. 基于感知效用模型的“均值偏向”形成机理

  2. 在经典报童模型的基础上引入概率选择理论, 发现决策者对需求发生的感知概率不符合贝叶斯公理, 而为截尾正态分布. 鉴于此, 提出一种感知效用下的最优库存策略, 并采用行为实验的方法测算出不同产品的决策噪音;根据行为实验的决策数据, 仿真模拟了不同成本产品中决策者的订购行为. 结果显示: 感知效用模型可以解释库存决策中的“均值偏向”现象; 当产品生产成本?? 逐渐接近(?? + ??)/2 时,“均值偏向”现象将逐渐消失; 随着?? 的增大, 单位均值偏向度将不断减小. 由此可见,“均值偏向”现象不

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：421888
    • 提供者：weixin_38680764

  1. 选择公理与Tukey引理等价性的机器证明

  2. 选择公理与Tukey引理等价性的机器证明

  3. 所属分类：其它

    • 发布日期：2021-03-30
    • 文件大小：515072
    • 提供者：weixin_38692162
« 12 »