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

搜索资源列表

  1. 【全美经典】2000离散数学习题精解

  2. 本书是《全美经典学习指导系列》丛书中的一本。书中精选了离散数学2000多道习题，并给予了详细解答。这将有助于读者迅速了解离散数学的基本知识和解题技巧，是读者复习和备考离散数学的一本好书。本书可供理工科高年级学生和教师参考。 第一章集合论1·1集合、元素、集合相等1·2子集1·3集合运算1·4文图和集合运算、基本积1·5集合代数、对偶性1·6有限集(合)、计数原理1·7集合类、幂集1·8数学归纳法1·9论证和文图1·10对称差1·11实数系统R、数集 第二章关系2·1积集2·2关系2·3关系的表

  3. 所属分类：专业指导

    • 发布日期：2009-12-10
    • 文件大小：7340032
    • 提供者：fengwu0ying

  1. 基于良序集方法的程序终止性证明

  2. 这篇论文是关于程序设计形式语义中的良序集的证明给出了完整的实例，希望对学习程序设计形式语义的同学有所帮助，谢谢！

  3. 所属分类：专业指导

    • 发布日期：2010-01-16
    • 文件大小：152576
    • 提供者：wangkailut

  1. 集合论悖论的解决V4.0

  2. 集合论悖论的解决V4.0 李均宇(李林星) 2008.1.19 email:myvbvc@tom.com QQ:165442523 到现在为止,我并不知道集合论悖论是否被别人解决了.如果不包含下列的理论,我认为<>是不完整的. 让我们首先讨论无限集合的势开始. 定义1:自然数集,整数集,有理数集的势叫X0. 定义2:实数集,直线中点集,平面中点集,立体空间中点集的势叫X1. 定义3:无限集合的势叫Xn. 李均宇定理:如果一个无限集合又包含自身的所有子集或幂集,则这个集合的势是lim

  3. 所属分类：专业指导

    • 发布日期：2008-01-20
    • 文件大小：2048
    • 提供者：e271828

  1. 集合论悖论的解决V5.0

  2. 集合论悖论的解决V5.0 李均宇(李林星) 2008.1.19 email:myvbvc@tom.com QQ:165442523 到现在为止,我并不知道集合论悖论是否被别人解决了.如果不包含下列的理论,我认为<>是不完整的. 让我们首先讨论无限集合的势开始. 定义1:自然数集,整数集,有理数集的势叫X0. 定义2:实数集,直线中点集,平面中点集,立体空间中点集的势叫X1. 定义3:无限集合的势叫Xn. 李均宇定理:如果一个无限集合又包含自身的所有子集或幂集,则这个集合的势是lim

  3. 所属分类：C

    • 发布日期：2008-01-21
    • 文件大小：3072
    • 提供者：e271828

  1. 集合论悖论的解决V6.0

  2. 集合论悖论的解决V6.0 李均宇(李林星) 2008.1.19 email:myvbvc@tom.com QQ:165442523 虽然我知道公理集合论是为了解决罗素悖论而产生的,但我认为公理集合论是在走弯路,甚至是误入岐路了.如果不包含下列的理论,我认为<>是不完整的. 让我们首先讨论无限集合的势开始. 定义1:自然数集,整数集,有理数集的势叫X0. 定义2:实数集,直线中点集,平面中点集,立体空间中点集的势叫X1. 广义连续统假设:无限集合的势必是X0,X1,...Xn...之

  3. 所属分类：C

    • 发布日期：2008-01-31
    • 文件大小：3072
    • 提供者：e271828

  1. C_常_用_算_法_程_序_集

  2. 徐士良教授的书PDF格式，曾经下过一个不完整，后来找到这个完整版的。不知道各位有没需要？ 本书是针对工程上常用的行之有效的算法而编写的 C 语言函数程序集, 在第一版的基础上作了修改 和扩充。书中包括了近几年出现的许多新算法。全书分为数值计算与非数值计算两部分。其中数值计算部 分的内容包括: 线性代数方程组的求解、 矩阵运算、 矩阵特征值与特征向量的计算、 非线性方程与方程组的 求解、 插值、 数值积分、 常微分方程( 组)的求解、 拟合与逼近、 数据处理与回归分析、 极值问题、 数学变换与

  3. 所属分类：其它

    • 发布日期：2010-11-08
    • 文件大小：2097152
    • 提供者：jxzxm77

  1. 计算机要学哪些东西----(还有附赠哦)

  2. CS（计算机科学）知识体系 计算教程2010报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该分类方案的依据及其历史、结构和应用的其它细节包含在完整的任务组报告中。由于我们希望附录比完整的报告有更多的读者，所以任务组认为在每一篇附录中概述理解该推荐所必须的基本概念是重要的。在下面几节中我们列出了最重要的几个概念。 知识体的结构 计算机科学知识体分层组织成三个层次。最高一层是领域（area），代表一个特定的学科子领域。每个领域由一个两个字母的缩写词表示，比如OS代表操作系统，PL

  3. 所属分类：其它

    • 发布日期：2010-11-21
    • 文件大小：110592
    • 提供者：fmxujin

  1. R-tree java

  2. 空间索引是对存储在介质上的数据位置信息的描述，用来提高系统对数据获取的效率。GIS涉及的各种海量复杂数据存储于外存，如果对磁盘上的数据的位置不加以记录和组织，每查询一个数据项都要扫描整个数据文件，则这种访问磁盘的代价将严重影响系统的效率。因此索引的建立与处理至关重要。此外GIS所表现的地理数据多维性使得传统的B树索引不再适合，因为B树所针对的字符、数字等传统数据类型是在一个良序集之中，即都是在一个维度上，集合中任给两个元素，都可以在这个维度上确定其关系只可能是大于、小于、等于三种，若对多个字段

  3. 所属分类：Java

    • 发布日期：2011-05-06
    • 文件大小：60416
    • 提供者：coldneverdie

  1. 计算机要学哪些东西

  2. CS（计算机科学）知识体系 计算教程2012报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该分类方案的依据及其历史、结构和应用的其它细节包含在完整的任务组报告中。由于我们希望附录比完整的报告有更多的读者，所以任务组认为在每一篇附录中概述理解该推荐所必须的基本概念是重要的。在下面几节中我们列出了最重要的几个概念。 知识体的结构 计算机科学知识体分层组织成三个层次。最高一层是领域（area），代表一个特定的学科子领域。每个领域由一个两个字母的缩写词表示，比如OS代表操作系统，PL

  3. 所属分类：其它

    • 发布日期：2012-05-18
    • 文件大小：110592
    • 提供者：x31721019

  1. 数据结构课设

  2. 课程设计题目 一、必做题。 1、链表排序 任务 ： （1）从文件读入30个无序整数，建立一个单链表，排序输出、再倒序输出。 （2）从文件A读入30个无序整数，建立一个递增的单链表A并输出，从文件B读入30个无序整数，建立一个递增的单链表B并输出，在A中求递增的并集。 （3）从文件读入30个学生成绩（0-100之间），建立一个双向循环链表并输出，调整链表顺序，使所有的及格成绩排在不及格成绩之前，并输出。 2、二叉树的应用 任务 ：编程实现二叉树的建立，层次遍历，（递归和非递归方法）先序、中序、后

  3. 所属分类：C/C++

    • 发布日期：2013-01-03
    • 文件大小：50176
    • 提供者：happy1215225

  1. 关于R树算法的讲解

  2. 间索引是对存储在介质上的数据位置信息的描述，用来提高系统对数据获取的效率。GIS涉及的各种海量复杂数据存储于外存，如果对磁盘上的数据的位置不加以记录和组织，每查询一个数据项都要扫描整个数据文件，则这种访问磁盘的代价将严重影响系统的效率。因此索引的建立与处理至关重要。此外GIS所表现的地理数据多维性使得传统的B树索引不再适合，因为B树所针对的字符、数字等传统数据类型是在一个良序集之中，即都是在一个维度上，集合中任给两个元素，都可以在这个维度上确定其关系只可能是大于、小于、等于三种，若对多个字段进

  3. 所属分类：MySQL

    • 发布日期：2015-10-11
    • 文件大小：103424
    • 提供者：sakurazuihaole

  1. Mathematics for Computer Science 2017.7z

  2. I 数学分析（Proofs） 简介（Introduction） 0.1 参考文献（References） 1 什么是证明？（What is a Proof?） 1.1 命题（Propositions） 1.2 谓词（Predicates） 1.3 公理化方法（The Axiomatic Method） 1.4 我们的公理（Our Axioms） 1.5 证明命题的含义（Proving an Implication） 1.6 证明「有且仅有」（Proving an「If and Only If」

  3. 所属分类：机器学习

    • 发布日期：2019-07-25
    • 文件大小：10485760
    • 提供者：idealtracy

  1. IOI国家集训队论文集1999-2019

  2. # 国家集训队论文列表（1999-2019） ___点击目录快速跳转：___ - _国家集训队论文列表（1999-2019）_ * [_1999_](#1999) * [_2000_](#2000) * [_2001_](#2001) * [_2002_](#2002) * [_2003_](#2003) * [_2004_](#2004) * [_2005_](#2005) * [_2006_](#2006) * [_2007_](#2007) * [_2008_](#2008) * [_2

  3. 所属分类：讲义

    • 发布日期：2019-09-20
    • 文件大小：110100480
    • 提供者：jiazhendong

  1. 论几乎良序集的幂序

  2. 论几乎良序集的幂序，吴小宁，，本文引入了给定偏序集的幂序. 我们证明, 任意几乎良序集的幂序都是完备的线性序, 任意无穷几乎极限集的幂序在其有底无顶子集族上的

  3. 所属分类：其它

    • 发布日期：2020-02-13
    • 文件大小：295936
    • 提供者：weixin_38553381

  1. 和平电气 变频器样本.pdf

  2. 和平电气 变频器样本pdf,和平电气 变频器样本HPVFV主要特点与性能 HPVF∨ 矢量控制变频器 主要特点 ●利用高性能的数字信号处理器,通过优化的控制算法,可以为复杂传动系统提供高速、柔性、安全的掉制。特别适合低转运、高 扭矩的场合应用 介绍 ●不仅包含控制,还实现了F○C磁场定向矢量控制、无感矢量控制功能(该功能可以有效的改蔷速度随着负载变化的问 HPVFV变频器专门为精确调速而设计;性能优异,稳定可靠。以大功率喻出、使用便利、安全性高,作为产品追求的目标 题〕通过转差补偿功能达到节能。

  3. 所属分类：其它

    • 发布日期：2019-10-13
    • 文件大小：4194304
    • 提供者：weixin_38744375

  1. fav-urls:お気に入りリンク集-源码

  2. お気に入りリンク集 ムーム企业家 数学とか 设计や言语 ポートフォリオ けイナー向けニュース ゲームデザイン 绍介动画など 初步书・企画书・仕様书 ライセンス ユニティちゃん がのまま利用できるキャラクター素材が多数 常识の范囲内の利用で，指定のライセンス表记を行うことで，ほぼ自由に利用することができる レのフレンズ 右上のリンクから，ライセンスについて読める 事业性が高くない作品に，自分で描いたキャラクターを登场させることができる 既存の絵をコピーするのはNG 公序良俗に反したり，アダ

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：16384
    • 提供者：weixin_42109598