打算发表一系列关于数理逻辑基础的小文章，希望对一部分读者有用。数理逻辑又称符号逻辑、理论逻辑。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。也许看了上述定义你依然不知道学习计算机技术和数理逻

[我们在投资时常常讲不要把所有的鸡蛋放在一个篮子里，这样可以降低风险。在信息处理中，这个原理同样适用。在数学上，这个原理称为最大熵原理。这是一个非常有意思的题目，但是把它讲清楚要用两个系列的篇幅。上面用最大熵模型可以将各种信息综合在一起。我们留下一个问题没

War)的人也许还记得影片开头的一段话：最有名的是阿卡4-7冲锋，因为它从不卡壳、从不损坏、可在任何环境下使用、可靠性好、杀伤力大并且操作简单。辛格在AT&T时确立了他在学术界的地位，但是，他不是一个满足于做实验写论文的人，于是他离开了实验室来到了

[离散数学是当代数学的一个重要分支，也是计算机科学的数学基础。它包括数理逻辑、集合论、图论和近世代数四个分支。这里我们介绍图论和互联网自动下载工具网络爬虫之间的关系。顺便提一句，我们用GoogleTrends来搜索一下“离散数学”这个词，可以发现不少有趣的

今天最开心的事情就是组合数学的生成函数弄的比较清楚了，原来就是那么一个坎儿，过了什么都明白了，做了一些题目，收获蛮大的。哎，在台湾已经2个多月了，修的这门课是最难学的，对于我这个本科生来说，上研究生的课压力不小。废话不说，分享一些做出来的题目：。求1/r的

在帮助专家做研究的同时，MIT 的研究员也要让新手做人工智能更简单。继 Julia 语言之后，近日 MIT 又发布了一种全新的通用概率编程系统 Gen，它是一种针对人工智能领域的专用语言，且除了深度学习外，各种机器学习与概率建模方法都囊括在内。近日，在提交

学术、经济均落后于欧洲各国的俄罗斯，从彼得大帝建立国家科学院开始，重视数学使得俄罗斯一跃成为欧洲学术强国。但是后来因为吃老本导致再次落后。俄罗斯的数学发展之路给了我们很大启示。彼得大帝的科学院：蒙昧中的火炬讲俄罗斯的数学有个人不得不提一下，那就是欧拉。欧拉

选自 mmlbook，作者：Marc Peter Deisenroth、A Aldo Faisal、Cheng Soon Ong，机器之心编译,参与：路雪、王淑婷。近日，Marc Peter Deisenroth、A Aldo Faisal 和 Cheng

Wolfram 在 Raspbian 中捆绑了一个版本的 Mathematica。在我们的树莓派入门系列的第 12 篇文章中将学习如何使用它。当时，我接触到了 Wolfram 的一个名为 Mathematica 的应用，我们可以将黑板上的许多代数和微分方程

去年9月宣布证明黎曼猜想的英国数学家阿蒂亚爵士逝世，享年89岁。这位数学家是菲尔兹和阿贝尔奖双料得主，被誉为牛顿之后将数学和物理联系的更紧密的人。数学界一颗巨星陨落。伦敦皇家学会也发布讣告证实了他去世的消息，但没有提供任何细节。这成为阿蒂亚爵士最后的光荣。

格雷丝·霍珀，她是计算机编程的第一夫人。美国海军当时将最新和最先进的导弹驱逐舰，命名为“格雷丝·霍珀”号。人们也将“计算机程序之母”、“美国海军计算机化之母”等名头，给予了这个已在1992年离世的女子。这个36岁的女人，决定放弃自己的婚姻和终身教授职位，加

有几个有趣的命令可以在 Linux 系统下做数学运算： expr、factor、jot 和 bc 命令。事实上，有不少命令可以轻松完成这些操作，其中一些甚至让你大吃一惊。expr首先，对于在命令行使用命令进行数学运算，可能最容易想到、最常用的命令就是 ex

数学形态学实际上可以理解为一种滤波行为，所以很多地方称它为形态学滤波。有了个这概念，我们就能更好的理解它。我们滤波中用的滤波器在这里被称为结构元素，结构元素往往是由一个特殊的形状构成，如：线条、矩形、圆、菱形等。我们把结构元素的中心与图像上像素点对齐，然后