#算法
编程是更像数学还是人类语言?- MIT News

关于大脑如何学习编码,存在两种思想流派。有人认为,要精通编程,就必须精通数学;另一个建议认为,由于编码和语言之间的相似性,语言技能可能更相关。在某些方面,学习计算机编程与学习新语言相似。它需要学习新... 详细
为计算机发明奠定基础的《思想法则》出版150周年:什么是布尔逻辑/布尔代数? - maa

这本书为一个世纪后的计算机发明奠定了基础,乔治·布尔(George Boole) 的《思想法则》(The Laws of Thought) 于1854年首次出版。使用术语“布尔逻辑”或“布尔代数”表... 详细
通俗易懂的P vs NP问题解释 -@AlejandroPiad

在整个计算机科学中最重要的问题:P是否等于NP? 关于这个问题的正确的答案是什么?我们仍然不知道,但是大多数计算机科学家认为P不等于NP。原因主要是哲学上的,但也有证据表明,如果P等于NP,则会发生... 详细
幽默:微积分可能已经过时 - AlejandroPiad

微积分是高等教育数学的巅峰之作。从幼儿园到大学的整个数学课程都旨在为导数和积分铺平道路。但是,微积分已不再是了解日益由数据驱动的世界的最有用的思维方式。 我们需要一门新的数学课程,其重点应放在不确定... 详细
一位程序员用编程语言Lisp证明了过去用数学语言证明过的哥德尔不完备定理
该文使用编程语言重新实现了当年哥德尔用数学语言证明的不完备定律。 1+1=2是公理,那么公理可以证明吗?哥德尔说不可以,数学不能用自己来证明自己的公理。同样适合编程领域, 有一些真理,您永远无法写下... 详细
新的量子算法有望破解非线性方程 - Quanta Magazine

量子本身的非确定性和计算机逻辑的确定性是一对矛盾,如何使用量子计算机实现确定性计算?这是一个世界难题,MIT从概率混沌角度攻克线性方程代表的确定性问题是一种尝试,原文大意如下: 量子解决方案 从... 详细
贪心算法有时也很有用 - hashnode

贪心算法是解决许多问题的有力武器不幸的是,它们并非总是可行的方法,因为它们可能导致错误的解决方案,它们何时起作用?什么时候是最糟糕的选择?他们什么时候能得出可接受的解决方案? 贪心算法尝试通过在... 详细
大O表示法和Bachmann-Landau家族 - mariocervera

我们大多数人(软件工程师)都熟悉(或至少听说过)著名的“ Big O”表示法(简称大O表示法、大O符号)。原因多种多样。大O符号是在技术面试中经常出现的概念,因此我们很可能在职业生涯的某个时候遇到大... 详细