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

搜索资源列表

  1. ACM算法模版大集合

  2. 一大堆模版 自己可以下来参考 应该有200个以上吧 自己下来看看 其中一个目录 图论 路径问题 0/1边权最短路径 BFS 非负边权最短路径（Dijkstra） 可以用Dijkstra解决问题的特征 负边权最短路径 Bellman-Ford Bellman-Ford的Yen-氏优化 差分约束系统 Floyd 广义路径问题 传递闭包 极小极大距离 / 极大极小距离 Euler Path / Tour 圈套圈算法 混合图的 Euler Path / Tour Hamilton Path / Tou

  3. 所属分类：其它

    • 发布日期：2009-10-15
    • 文件大小：944128
    • 提供者：jordankan

  1. 哥德尔不完备定理 pdf 下载

  2. 本书有关于哥德尔不完全定理的详细精到的介绍 读者可以从中感受到逻辑学的美妙和惊叹 也为哥德尔天才般的构想所折服

  3. 所属分类：专业指导

    • 发布日期：2010-02-27
    • 文件大小：4194304
    • 提供者：laowuri

  1. ACM算法模板大集合

  2. 其中一个目录 图论 路径问题 0/1边权最短路径 BFS 非负边权最短路径（Dijkstra） 可以用Dijkstra解决问题的特征 负边权最短路径 Bellman-Ford Bellman-Ford的Yen-氏优化 差分约束系统 Floyd 广义路径问题 传递闭包 极小极大距离 / 极大极小距离 Euler Path / Tour 圈套圈算法 混合图的 Euler Path / Tour Hamilton Path / Tour 特殊图的Hamilton Path / Tour 构造 生成树

  3. 所属分类：其它

    • 发布日期：2010-04-19
    • 文件大小：944128
    • 提供者：yiyemu

  1. ACM常用算法框架大汇总

  2. 当中有几百种计算机常用的算法的框架和模板，如果你还在为算法问题而困扰时，这资料会让你廓然开朗，我也在学，很有用所以极力推荐大家. 框架部分目录如下： 图论 路径问题 0/1边权最短路径 BFS 非负边权最短路径（Dijkstra） 可以用Dijkstra解决问题的特征 负边权最短路径 Bellman-Ford Bellman-Ford的Yen-氏优化 差分约束系统 Floyd 广义路径问题 传递闭包 极小极大距离 / 极大极小距离 Euler Path / Tour 圈套圈算法 混合图的 Eu

  3. 所属分类：专业指导

    • 发布日期：2011-12-13
    • 文件大小：944128
    • 提供者：cai62839739

  1. 哥德尔不完备定理

  2. 哥德尔不完备定理,伟大的数学理论,经典数学理论

  3. 所属分类：专业指导

    • 发布日期：2013-10-31
    • 文件大小：4194304
    • 提供者：pansycat1980

  1. 哥德尔不完备定理

  2. 哥德尔不完备定理的简单介绍，推荐有兴趣的读者看一下。

  3. 所属分类：教育

    • 发布日期：2014-03-16
    • 文件大小：4194304
    • 提供者：binarypoet

  1. 计算机算法（C++语言描述）（第2版）

  2. 前言 如果我们预挑出计算机科学中那些影响长久的贡献，算法（algorithm）一定位列其中。自从人类发明了可以执行基本数学运算的机器，什么是可以计算的以及如何计算就成为人们一直研究的课题。伴随此项研究，人们发现了大量的重要算法以及设计方法。算法成为计算机科学领域中的一项重要组成部分。本书的目的就是对有关算法的内容精心地组织，从而使得使用本书的同学以及实践者可以设计和分析全新的算法。 一本包含所有已发明的算法的书将会异常冗长。传统的算法书通常只对很少的几个问题领域有深入的阐述。对于每个问题，通常

  3. 所属分类：C++

    • 发布日期：2015-12-31
    • 文件大小：131072000
    • 提供者：hx0_0_8

  1. 哥德尔不完备定理.pdf

  2. 哥德尔不完备定理是数理逻辑及形式语言的一次突破（及灾难）

  3. 所属分类：专业指导

    • 发布日期：2009-02-28
    • 文件大小：4194304
    • 提供者：nidearong

  1. 实数变函数和范函分析(南开大学下载)

  2. 实变函数部分 前 言 第一章 集与集类 欧氏空间中的点集 § 1.1 集与集的运算 § 1.2 可数集与基数 § 1.3 集类 § 1.4 欧氏空间中的点集 习 题 一 第二章 测度与测度的构造 § 2.1 测度的性质 § 2.2 外测度与测度的延拓 § 2.3 欧氏空间上的 Lebesgue 测度 习 题 二 第三章 可测函数 § 3.1 可测函数的基本性质 § 3.2 可测函数的收敛性 § 3.3 可测函数与连续函数 习 题 三 第四章 积分 § 4.1 积分的定义 § 4.2 积分的性质

  3. 所属分类：专业指导

    • 发布日期：2009-03-14
    • 文件大小：8388608
    • 提供者：hyderhan

  1. 中南大学有限单元法考试试卷(岳乐-庞俊).docx

  2. 中南大学有限单元法考试试卷(岳乐-庞俊)。 有限元分析复习点点滴滴——张义涵 1402 1、 什么是平面应力问题？什么是平面应变问题？（张毅涵做） 答：平面应变问题是指薄板受平行于板面且沿厚度均度载荷用 。 在考虑有限元法表述位移时，首先是选取一组函数，他们可以用节点位移来表示有限元内任一点的位移分量。然后从外加位移场发展解法得的各个步都是，应变分量由位移的各种导数唯一确定，于是外加位移变化确定了整个单元的应变状态。这些诱导应变和介质弹性性质一起确定了单元的诱导应力。将初始应力与诱导应力叠加就

  3. 所属分类：专业指导

    • 发布日期：2019-06-13
    • 文件大小：21504
    • 提供者：weixin_42859280

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

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

  3. 所属分类：机器学习

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

  1. 组态空间中Volkov态与Volkov传播子的完备性与正交性。

  2. Volkov状态和Volkov传播子是研究在强平面波电磁场存在下发生的QED过程的基本分析工具。 在本文中，我们提供了在固定时间的Volkov状态下的完整性和正交性的替代且相对简单的证明。 关于完备性，我们利用平面波中Dirac算子的格林函数的某些已知性质，而仅根据基于四个维度的高斯定理的几何论证证明了Volkov态的正交性。 关于沃尔科夫状态的完备性，我们还研究了狄拉克算子的格林函数在平面波中的某些解析性质，我们明确证明了其与配置空间中的沃尔科夫传播子是一致的。 特别地，借助于算子技术在平面波

  3. 所属分类：其它

    • 发布日期：2020-04-20
    • 文件大小：303104
    • 提供者：weixin_38554193

  1. 对哥德尔不完备定理的一种理解

  2. 对哥德尔不完备定理的一种理解，丘志宏，，哥德尔不完备定理实际上包含了三个可能的命题：命题1，一个包括初等数论的形式系统是一致的但是是不完备的；命题2，一个包括初等�

  3. 所属分类：其它

    • 发布日期：2020-02-26
    • 文件大小：339968
    • 提供者：weixin_38741891

  1. 模电 数电 单片机笔试及面试问题.pdf

  2. 该文档包括数电、模电、单片机、计算机原理等笔试问题，还讲解了关于面试的问题该如何解答，对大家有一定的帮助电流放大就是只考虑输岀电流于输入电流的关系。比如说,对于一个uA级的信号,就需要放大后才能驱动 一些仪器进行识别(如生物电子),就需要做电流放大 功率放大就是考虑输出功率和输入功率的关系。 其实实际上,对于任何以上放大,最后电路中都还是有电压,电流,功率放大的指标在,叫什么放大,只 是重点突出电路的作用而已。 15.推挽结构的实质是什么? 般是指两个三极管分别受两互补信号的控制,总是在一个三极

  3. 所属分类：嵌入式

    • 发布日期：2019-10-12
    • 文件大小：664576
    • 提供者：fromnewword

  1. 模拟电路和数字电路笔试知识和面试知识.pdf

  2. 每次面试都被问到模电和数电，因此想给大家分享一份关于模拟电子技术的面试题，希望有所帮助电流放大就是只考虑输出电流于输入电流的关系。比如说,对于一个uA级的信号,就需要放大后才能驱动 些仪器进行识别(如生物电子),就需要做电流放大。 功率放大就是老虑输出功率和输入功率的关系。 其实实际上,对于任何以上放大,最后电路中都还是有电压,电流,功率放大的指标在,叫什么放大,只 是重点突出电路的作用而已 15.推挽结构的实质是什么? 般是指两个三极管分别受两互补信号的控制,总是在一个三极管导通的时候另一个截

  3. 所属分类：讲义

    • 发布日期：2019-08-18
    • 文件大小：628736
    • 提供者：maosheng007

  1. 辨析两对概念

  2. 辨析两对概念 文章目录辨析两对概念引言表达含义的符号和形式系统接近极限与求出极限 引言 我接触形式系统这个概念，是从《数学女孩（三）哥德尔不完备定理》中。另外，通过这本书，还重温了微积分中的极限。 表达含义的符号和形式系统 数学符号都是表达含义的符号。更宽泛地说，示意图、自然语言也都是。但它们不是形式系统。形式系统由形式公理和演算规则组成，本质上说是一组字符串和一组可对字符串进行的操作。 形式系统有相容性和完备性这两个概念。相容性是指一个形式命题和它的否定不能同时被证明，完备性是指任何系统内的命

  3. 所属分类：其它

    • 发布日期：2021-01-06
    • 文件大小：63488
    • 提供者：weixin_38675465

  1. 具有不匹配运算符的高阶π演算

  2. 主要研究带失配的高阶进程演算的公理化问题。首先，建立存在失配时高阶进程的开弱高阶互模拟理论，证明了等价关系，同余性等重要性质；其次，沿用线性的方法，制造得到带不匹配的有限进程上的公理系统；最后，基于对开弱高阶互模拟的刻画，证明了该公理系统的完备性定理。的有效算法的设计与实现，且为相关的应用建模工作提供了理论上的依据。

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：544768
    • 提供者：weixin_38747087

  1. 基于多特定决策类的不完备决策系统正域约简

  2. 现有的属性约简方法大部分关注决策系统中的所有决策类， 而在实际决策过程中决策者往往仅关注决策系统中的一种或几种决策类。针对上述问题， 提出基于多特定决策类的不完备决策系统正域约简的理论框架。首先， 给出不完备决策系统单特定决策类正域约简的概念; 第二， 将单特定决策类正域约简推广到多特决策类， 构造了相应的差别矩阵及区分函数; 第三， 分析并证明了相关定理， 提出基于差别矩阵的不完备决策系统多特定决策类正域约简 算 法 ( PＲMDM) ; 最 后， 选 取 4 组 UCI 数 据 集 进 行

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：1048576
    • 提供者：weixin_38655284

  1. On the Completeness and Consistency for CP-nets

  2. CP-nets是一种简单而又直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点.然而,任意二值CP-nets上的强占优算法还没有给出,CP-nets可表示的偏好的完备性还无人研究,CP-nets所能表示的偏好是否一致也还未彻底解决.基于CP-nets上的强占优运算研究CP-nets的完备性和一致性.首先,通过构造CP-nets导出图及其性质的研究,得出强占优的本质是求取翻转关系的传递闭包,从而利用Warshall算法求出可判断任意CP-nets的强占优;其次,通过求取3种不同结构(可分离

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：601088
    • 提供者：weixin_38641111

  1. 基于置信优势关系的粗糙集近似模型

  2. 不完备有序信息处理是现实生活中的常见问题. 多种拓展优势关系及其粗糙集模型被提出并用于解决不完全的偏好决策问题, 但均未考虑序关系特性, 与现实语义存在矛盾. 对此, 提出一种置信优势关系及其粗糙集近似模型, 讨论了基于置信优势关系的粗糙集模型与已有模型的关系. 与现有的拓展关系相比, 该置信优势关系满足序关系特性, 避免了语义上的矛盾. 定理证明和实例分析表明, 置信优势关系粗糙集近似模型的近似精度和分类精度更优.

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：172032
    • 提供者：weixin_38608055
« 12 »