程序是类型的证明。 计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的; 程序是建立在逻辑和严格证明基础之上的; 逻辑学的基本要素是:概念、判断、推理; 类型系统相当于逻辑和科学中的概念,在此基础上才能进行运算和推理; 编程语言不过是建立了类型系统和在类型系统基础上的一些列运算法则 ...
分类:
编程语言 时间:
2019-04-20 13:07:50
阅读次数:
201
1. 引言 在介绍论文之前,我将先简单介绍一些相关背景知识。首先是语言模型(Language Model),语言模型简单来说就是一串词序列的概率分布。具体来说,语言模型的作用是为一个长度为m的文本确定一个概率分布P,表示这段文本存在的可能性。在实践中,如果文本的长度较长,P(wi | w1, w2, ...
分类:
编程语言 时间:
2019-04-19 12:02:30
阅读次数:
198
阿里云发布了国内首个公共云上的轻量级GPU异构计算产品——VGN5i实例,该实例打破了传统直通模式的局限,可以提供比单颗物理GPU更细粒度的服务,从而让客户以更低成本、更高弹性开展业务。适用于云游戏、VR/AR、AI推理和DL教学等轻量级GPU计算场景,更细粒度的GPU计算服务。 轻量级GPU云服务 ...
分类:
其他好文 时间:
2019-04-15 16:17:51
阅读次数:
143
确定性推理: 在人工智能中,利用知识表示方法表达完一个待求解的问题后,还需要利用其他方法来求解这个问题。从问题表示到问题的解决,有一个求解的过程,即搜索过程。在这个过程中,采用适当的搜索技术,包括各种规则、过程和算法等推理技术,力求找到问题的解答。这类问题的求解方法就包括确定性推理。 按所用知识的确 ...
分类:
其他好文 时间:
2019-04-13 18:57:10
阅读次数:
181
原文:CodingLabs - MySQL索引背后的数据结构及算法原理 首页 | 标签 | 关于我 | +订阅 | 微博 ... ...
分类:
数据库 时间:
2019-04-09 00:42:20
阅读次数:
238
题目描述:输入两棵二叉树A,B,判断B是不是A的子结构(约定空树不是任意一棵树的子结构) 求解结果: 思路上:首先寻找到1树中是否含有2树中的根节点,然后以此为出发点,判断其他节点是否在1树中。 感觉上述程序巧妙在逻辑的推理,即利用逻辑上的推理不断进行判断子树的存在与否。 ...
分类:
其他好文 时间:
2019-04-07 12:49:21
阅读次数:
132
弗雷格的逻辑体系,表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言,使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看,概念文字是我们今天使用的计算机程序设计语言 ...
分类:
其他好文 时间:
2019-03-27 19:38:27
阅读次数:
164
摘要 虽然权重和激活量化是深度神经网络(DNN)压缩的有效方法,并且具有很多利用bit操作来提高推理速度的潜力,但在量化模型和完整模型之间的预测精度方面仍存在明显差距。为了解决这个差距,我们建议联合训练量化的,位操作兼容的DNN及其相关的量化器,而不是使用固定的手工量化方案,例如均匀或对数量化。我们 ...
分类:
Web程序 时间:
2019-03-27 12:29:39
阅读次数:
279
确定鸡蛋在几层就爆的最少测试数目 使用动态规划 ...
分类:
其他好文 时间:
2019-03-20 01:09:16
阅读次数:
150
机器学习正在进步,我们正在不断接近创造人工智能的目标。语音识别、图像检测、机器翻译、风格迁移等技术已经在生活中开始得到了应用,但机器学习的发展仍还在继续,有人认为这场变革有可能会彻底改变人类文明的发展方向乃至人类自身。但你了解现在正在发生的这场变革吗?四大会计师事务所之一的普华永道(PwC)近日发布 ...
分类:
编程语言 时间:
2019-03-20 00:43:59
阅读次数:
201