#形式逻辑

为计算机发明奠定基础的《思想法则》出版150周年:什么是布尔逻辑/布尔代数? - maa

21-01-04 665 2 banq

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

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

20-12-16 719 2 banq

关于大脑如何学习编码,存在两种思想流派。有人认为,要精通编程,就必须精通数学;另一个建议认为,由于编码和语言之间的相似性,语言技能可能更相关。在某些方面,学习计算机编程与学习新语言相似。它需要学习新... 详细

通俗易懂的P vs NP问题解释 -@AlejandroPiad

21-01-08 528 2 banq

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

一位程序员用编程语言Lisp证明了过去用数学语言证明过的哥德尔不完备定理

20-11-17 485 1 banq

该文使用编程语言重新实现了当年哥德尔用数学语言证明的不完备定律。 1+1=2是公理,那么公理可以证明吗?哥德尔说不可以,数学不能用自己来证明自己的公理。同样适合编程领域, 有一些真理,您永远无法写下... 详细

什么是数学? 数学是属于客观发现还是主观创造?数学竟然类似小说? - smithsonianmag

20-09-27 530 1 banq

一名少年在TikTok上问了一个古老的问题,引起了病毒性的强烈反对,然后进行了深思熟虑的科学辩论。 究竟什么是数学?它属于 发明还是发现 ?数学家使用的东西(数字,代数方程,几何,定理等)是真实的吗... 详细

常见的让人大吃一惊的八种逻辑谬论 - markmanson

20-10-11 701 1 banq

逻辑谬论在我们的日常生活中非常普遍。这是我们所有人都会遭受最坏情况的原因。   1.相关关系不是因果关系 仅仅因为两件事经常一起发生并不意味着一件事导致了另一件事。 您经常会看到一些 新闻报导... 详细

Java中代数 – cguntur

21-01-14 374 banq

代数–一个经常与学校数学联系在一起的术语,通常被理解为数学的一个分支,涉及符号和操作此类符号的规则。符号通常表示没有固定值(称为变量)的数量。 在编程语言中,它具有相似的含义。代数数据类型是包含变量... 详细

您不需要成为数学家就可以掌握量子计算 - Frank Zickert

20-10-08 181 banq

数学并不是我们唯一的精确语言。我们拥有与数学公式一样精确的语言:如今,这些语言对许多人来说几乎是自然的,这些语言就是编程语言。 我的意思不是特定编程语言的语法。相反,我指的是一种思维方式,几乎所有编... 详细

共有 731 2 3 4 ... 10 下一页