您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

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

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

    • 发布日期:2010-11-21
    • 文件大小:110592
    • 提供者:fmxujin
  1. 计算机要学哪些东西

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

    • 发布日期:2012-05-18
    • 文件大小:110592
    • 提供者:x31721019
  1. 算法的复杂度与Master定理

  2. 算法的复杂度与Master定理,介绍了算法的时间复杂度与空间复杂度的计算方法
  3. 所属分类:专业指导

    • 发布日期:2013-06-13
    • 文件大小:18432
    • 提供者:u010266343
  1. master.pdf

  2. 文档为主定理分析,主要用于递归形式,并且含有大量练习题和答案帮助记忆和消化。
  3. 所属分类:机器学习

    • 发布日期:2019-10-23
    • 文件大小:35840
    • 提供者:alex__mahone
  1. COMP3601-2021:该存储库包含圣奥古斯丁西印度大学2020-2021学期第二学期的算法设计和分析教程材料-源码

  2. COMP3601-2021 该资料库包含圣奥古斯丁西印度大学的算法设计和分析教程材料。请注意,此存储库是为方便材料共享而创建的,所有解决方案都可能在2021学年结束时被删除。 第一周(1月22日) 没课。 第2周(1月29日) 时间效率分析和数学证明简介。 第三周(2月5日) 渐近符号性质的概述,比较使用极限的增长顺序和使用求和公式的时间效率计算。 第4周(2月12日) 蛮力进近及其时间效率计算。 第5周(2月19日) 减少和征服方法及其时间效率计算(加上Master定理的介绍)。 第6周(2月
  3. 所属分类:其它

    • 发布日期:2021-03-20
    • 文件大小:2097152
    • 提供者:weixin_42140710
  1. coq-on-cachix:该存储库位于Coq活动分支之后,但仅当最新提交在https上以二进制形式提供时才更新-源码

  2. 辅酶Q Coq是一个正式的证明管理系统。 它提供了一种正式的语言来编写数学定义,可执行算法和定理,以及用于半交互式开发机器检查的证明的环境。 安装 请参阅 。 可以从找到有关如何从源代码进行构建和安装的信息。 文献资料 该文档的来源可以在目录找到。 请参阅以了解有关该文档的更多信息,尤其是如何构建它。 最新版本的文档可在Coq网站上网址为 。 另请参阅 (Coq Wiki)和,以获取其他用户提供的文档。 master分支的文档一直在部署。 看: 变化 参考手册的“一章说明了每个新版本的
  3. 所属分类:其它

    • 发布日期:2021-03-17
    • 文件大小:8388608
    • 提供者:weixin_42099087
  1. Master-PyAlgo-源码

  2. PyAlgo大师 Python,PYPY中的精通算法和竞争性编程 范本 可与所有版本的Python一起使用,并具有Python 3行为。 版本特定模板: , 片段 代数 (多变量)中国余数定理 离散对数 LCM和GCD 整数分解 快速傅立叶变换 快速子集变换 数论变换 确定性Miller-Rabin素数检验 Tonelli–Shanks算法 广义模逆 欧拉的Phi函数 原始根 Eratosthenes筛 数据结构 位阵列 二分索引(Fenwick)树 分数 续分数 不交集(联合查找)数据
  3. 所属分类:其它

    • 发布日期:2021-03-14
    • 文件大小:63488
    • 提供者:weixin_42099858
  1. HOL:HOL4定理证明系统的规范资料。 “开发”分支是发生“主线开发”的地方; 当`develop`通过我们的回归测试时,`master`被合并以赶上-源码

  2. 这是HOL4的Kananaskis发行版的分发目录。 有关在线资源,请参见 。 以下是分发中可用内容的简短列表。 INSTALL * Installation instructions COPYRIGHT * Copyright notice std.prelude * File loaded at the beginning of each HOL session bin/ * Executables doc/
  3. 所属分类:其它

    • 发布日期:2021-02-26
    • 文件大小:23068672
    • 提供者:weixin_42121272
  1. coq:Coq是一个正式的证明管理系统。 它提供了一种正式的语言来编写数学定义,可执行的算法和定理,以及用于半交互式开发机器检查的证明的环境-源码

  2. 辅酶Q Coq是一个正式的证明管理系统。 它提供了一种正式的语言来编写数学定义,可执行算法和定理,以及用于半交互式开发机器检查的证明的环境。 安装 下载适用于Windows和macOS的的预构建软件包; 阅读有关如何使用Cop安装Coq的; 或参考文件以获取从源代码安装的过程。 文献资料 该文档的来源可以在目录找到。 请参阅以了解有关该文档的更多信息,尤其是如何构建它。 最新版本的文档可在Coq网站上网址为 。 另请参阅 (Coq Wiki)和 ,以获取其他用户提供的文档。 master分
  3. 所属分类:其它

    • 发布日期:2021-02-25
    • 文件大小:8388608
    • 提供者:weixin_42123296
  1. 交互系统的术语和替代:Master Final Project-源码

  2. 交互系统的术语和替代 硕士最终项目 条款和替代的互动系统 刘凤章 顾问:Paliath Narendran 抽象 术语重写是一个非常重要的研究领域,它广泛用于许多领域,例如密码协议分析和自动定理证明。 该项目的目标是一个交互式的术语和替换系统,以帮助初学者掌握一些关键概念。 它以Python编程语言实现。 致谢 我要感谢在项目期间向我提供帮助的人们。 我感谢我的顾问Paliath Narendran教授,他提供了不间断的支持。 我特别要感谢那些通过交换他们自己有趣的想法和想法以及提供准确的信息来
  3. 所属分类:其它

    • 发布日期:2021-02-11
    • 文件大小:135168
    • 提供者:weixin_42131414