点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 定理机器证明
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
专题二:程序语言部分
专题二:程序语言部分 1、程序语言知识 1.1 程序语言: 程序语言分为低级语言和高级语言两个大类。 低级语言:又称为面向机器语言,它是特定的计算机系统所固有的语言。 机器语言:虽然执行效率高,但编写出来的程序可读性很差,程序难以修改和维护。 汇编语言:汇编语言是机器语言的一种提升,它使用了一些助记符号来表示机器指 令中的操作码和操作数。但它仍然是一种和计算机的机器语言十分接近的语言,使用起来仍然不太方便。 高级语言:与人们的自然语言比较接 近,使用起来很方便,也极大的
所属分类:
C
发布日期:2009-05-23
文件大小:73728
提供者:
wyl636
非线性代数方程组与定理机器证明(杨路等)
非线性代数方程组与定理机器证明(杨路等)。。。。。。。。。。。。。。
所属分类:
专业指导
发布日期:2009-05-29
文件大小:4194304
提供者:
kelevin456
非线性代数方程组与定理机器证明
非线性代数方程组与定理机器证明非线性代数方程组与定理机器证明
所属分类:
专业指导
发布日期:2009-05-30
文件大小:2097152
提供者:
wulinqww
非线性代数方程组与定理机器证明(杨路等)
非线性科学丛书 非线性代数方程组与定理机器证明(杨路等)
所属分类:
专业指导
发布日期:2009-07-16
文件大小:4194304
提供者:
zx_su
最适合于大学本科生的人工智能电子教案
很好的人工智能电子教案,适合本科生.内容主要为人工智能技术:人工智能语言,搜索技术,知识表示,机器定理证明.
所属分类:
专业指导
发布日期:2010-09-28
文件大小:473088
提供者:
guilin_zhou
Convex Optimization(凸优化)
看起来是厚厚的一本大部头,读起来并不太费力。它给出的实例多而好用、覆盖面全,不需要太深刻的数学功底,对于复杂的定理性质等也不强调证明,而是着眼于几何意义和实际用途,直观易懂。 作者本身的工科背景使得这本书在工业问题和计算机等实用方面的优点更为突出,数学依据上覆盖面广而不强调深,非常值得想要了解非线性规划的人一读。
所属分类:
专业指导
发布日期:2010-11-28
文件大小:5242880
提供者:
javelinjs
软件工程之专题二:程序语言部分
1、程序语言知识 1.1 程序语言: 程序语言分为低级语言和高级语言两个大类。 低级语言:又称为面向机器语言,它是特定的计算机系统所固有的语言。 机器语言:虽然执行效率高,但编写出来的程序可读性很差,程序难以修改和维护。 汇编语言:汇编语言是机器语言的一种提升,它使用了一些助记符号来表示机器指 令中的操作码和操作数。但它仍然是一种和计算机的机器语言十分接近的语言,使用起来仍然不太方便。 高级语言:与人们的自然语言比较接近,使用起来很方便,也极大的提高了程序设 计的效率。
所属分类:
其它
发布日期:2011-06-05
文件大小:89088
提供者:
net_david
专题二:程序语言部分
专题二:程序语言部分 1、程序语言知识 1.1 程序语言: 程序语言分为低级语言和高级语言两个大类。 低级语言:又称为面向机器语言,它是特定的计算机系统所固有的语言。 机器语言:虽然执行效率高,但编写出来的程序可读性很差,程序难以修改和维护。 汇编语言:汇编语言是机器语言的一种提升,它使用了一些助记符号来表示机器指 令中的操作码和操作数。但它仍然是一种和计算机的机器语言十分接近的语言,使用起来仍然不太方便。 高级语言:与人们的自然语言比较接近,使用起来很方便,也极大的提
所属分类:
软考等考
发布日期:2011-11-14
文件大小:21504
提供者:
ouyangluo
算法设计与分析导论 李家同 中文版
算法设计与分析导论 李家同 中文版 前言 第1章 绪论 第2章 算法复杂度与问题的下界 2.1 算法的时间复杂度 2.2 最好、平均和最坏情况的算法分析 2.3 问题的下界 2.4 排序的最坏情况下界 2.5 堆排序:在最坏情况下最优的排序算法 2.6 排序的平均情况下界 2.7 通过神谕改进下界 2.8 通过问题转换求下界 2.9 注释与参考 2.10 进一步的阅读资料 习题 第3章 贪心法 3.1 生成最小生成树的Kruka1算法 3.2 生成最小生成树的Prim算法 3.3 单源最短路径
所属分类:
其它
发布日期:2014-01-11
文件大小:12582912
提供者:
dwc2126
算法设计与分析导论R.C.T.Lee等著中文版
前言 第1章 绪论 第2章 算法复杂度与问题的下界 2.1 算法的时间复杂度 2.2 最好、平均和最坏情况的算法分析 2.3 问题的下界 2.4 排序的最坏情况下界 2.5 堆排序:在最坏情况下最优的排序算法 2.6 排序的平均情况下界 2.7 通过神谕改进下界 2.8 通过问题转换求下界 2.9 注释与参考 2.10 进一步的阅读资料 习题 第3章 贪心法 3.1 生成最小生成树的Kruka1算法 3.2 生成最小生成树的Prim算法 3.3 单源最短路径问题 3.4 二路归并问题 3.5
所属分类:
专业指导
发布日期:2014-02-25
文件大小:12582912
提供者:
opzhuyi
非线性代数方程组与定理机器证明
非线性代数方程组与定理机器证明
所属分类:
专业指导
发布日期:2007-04-03
文件大小:2097152
提供者:
adverse
计算机怎样解几何题
是否听说过计算机可以解几何题,可以证明几何定理并发现新的定理?计算机是人造出来的,是人想出了用计算机解题的办法并设计出一套一套的程序。计算机只不过是人的工具。本书所谭的实际上是人怎样用计算机解几何题。有兴趣的读者,不妨跟着书,自己动手在计算机上解几个题目玩玩,借此了解一些机器证明、人工智能的知识。
所属分类:
讲义
发布日期:2014-10-11
文件大小:2097152
提供者:
qiaoruozhuo
机器学习 习题答案
机器学习 习题答案 2.6 完成变型空间表示定理的证明(定理2.1) 定理2.1:变型空间表示定理 领X为一任意的实例集合,H为X上定义的布尔假设的集合。令c:X{0,1}为X上定义的任一目标概念,并令D为任一训练样例的集合{}。对所有的X,H,c,D以及良好定义的S和G: 证明:对VSH,D中任一h: ①当h∈S时,取s=h,则有h≥gs成立 ②当hS时,即 (h1H)[(h>gh1)∧Consistent(h1,D)] 若h1S,显然h≥gs成立;
所属分类:
讲义
发布日期:2014-12-09
文件大小:122880
提供者:
wadefk
计算机算法(C++语言描述)(第2版)
前言 如果我们预挑出计算机科学中那些影响长久的贡献,算法(algorithm)一定位列其中。自从人类发明了可以执行基本数学运算的机器,什么是可以计算的以及如何计算就成为人们一直研究的课题。伴随此项研究,人们发现了大量的重要算法以及设计方法。算法成为计算机科学领域中的一项重要组成部分。本书的目的就是对有关算法的内容精心地组织,从而使得使用本书的同学以及实践者可以设计和分析全新的算法。 一本包含所有已发明的算法的书将会异常冗长。传统的算法书通常只对很少的几个问题领域有深入的阐述。对于每个问题,通常
所属分类:
C++
发布日期:2015-12-31
文件大小:131072000
提供者:
hx0_0_8
线性代数及其应用David.C.Lay
线性代数的相关知识,很全面,很详细,有理论有应用,定理有详细的证明过程,学习机器学习的过程一定会用到这些知识,加深对机器学习算法背后数学知识的理解
所属分类:
机器学习
发布日期:2018-08-04
文件大小:7340032
提供者:
weixin_35732969
吴文俊:不朽的数学人生,照耀人工智能发展之路.md
2019.09.17 中国人工智能学会原名誉理事长、中国科学院院士吴文俊获“人民科学家”国家荣誉称号的新闻报道。回顾大师不朽的数学人生,了解成就:吴类(拓扑学示性类及示嵌类)和吴公式,古代数学的算法和可计算性分析,开创崭新的**数学机械化**领域,提出 **用计算机证明几何定理的“吴方法”**,成为**自动推理领域**的先驱。 哥德尔的不完备性定理昭示了数学真理的探索永无止境,没有囊括一切真理的公理系统存在。真理的发展和认识是无穷的。不完备恰好预留了真理发展的空间。欧几里得几何的公理体系由于不
所属分类:
机器学习
发布日期:2019-09-21
文件大小:14336
提供者:
qq_27206435
deepmath:神经网络定理证明的实验-源码
深渊 Deepmath项目旨在使用深度学习和其他机器学习技术来改进自动定理证明。 Deepmath是与几所大学之间的合作。 免责声明: 该存储库中的源代码不是Google的官方产品,而是与外部研究团队的研究合作。 安装 Deepmath依赖于TensorFlow,后者作为子模块包含在内。 使用或查看Dockerfile来deephol我们的神经证明程序deephol的构建说明。 它需要连接到校对助手服务器。 有关服务器实现,请参见 。
所属分类:
其它
发布日期:2021-03-06
文件大小:2097152
提供者:
weixin_42143161
Coq数学定理的机器证明系统– Hausdorff最大原理和Zermelo假设的机器证明
Coq数学定理的机器证明系统– Hausdorff最大原理和Zermelo假设的机器证明
所属分类:
其它
发布日期:2021-03-01
文件大小:318464
提供者:
weixin_38687539
coq:Coq是一个正式的证明管理系统。 它提供了一种正式的语言来编写数学定义,可执行的算法和定理,以及用于半交互式开发机器检查的证明的环境-源码
辅酶Q Coq是一个正式的证明管理系统。 它提供了一种正式的语言来编写数学定义,可执行算法和定理,以及用于半交互式开发机器检查的证明的环境。 安装 下载适用于Windows和macOS的的预构建软件包; 阅读有关如何使用Cop安装Coq的; 或参考文件以获取从源代码安装的过程。 文献资料 该文档的来源可以在目录找到。 请参阅以了解有关该文档的更多信息,尤其是如何构建它。 最新版本的文档可在Coq网站上网址为 。 另请参阅 (Coq Wiki)和 ,以获取其他用户提供的文档。 master分
所属分类:
其它
发布日期:2021-02-25
文件大小:8388608
提供者:
weixin_42123296
考虑多个RMAs的单机调度问题
在处理时间不断恶化的情况下, 针对插入多个机器维护阶段(RMAs) 和考虑交货期安排的单机调度问题展开研究, 目标是最小化提前和拖期惩罚. 产品加工过程中, 在处理工件之前插入多个RMAs 可以降低恶化现象从而恢复机器的生产效率, 目的是同时找到最优序列、最优松弛时间和RMAs 的最优位置以使提前和拖期惩罚最小. 根据问题的特点, 提出了相关的性质和定理, 通过证明得出了最优的松弛时间. 最后, 证明了该问题在多项式时间内是可解的.
所属分类:
其它
发布日期:2021-01-14
文件大小:167936
提供者:
weixin_38593723
«
1
2
»