#形式逻辑

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

20-12-16 1050 3 banq

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

DDD和OO是有区别的:抽象名称选择很重要?主语语法遮蔽了真理 - macerub

20-09-02 1058 2 banq

为你的抽象选择合适的名称很重要。如果名称不好,那么我们的设计将很难重复使用。例如,假设我们要设计一个可以关闭/打开灯的开关。 您认为该接口的好名字是什么? banq注:如果从纯粹面向对象角度... 详细

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

20-10-11 902 2 banq

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

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

20-11-17 558 1 banq

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

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

20-09-27 620 1 banq

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

什么是模型? 人工智能建模和人脑分析建模的异同点 - towardsdatascience

20-09-27 419 1 banq

“模型”术语引起了很多争议。这个词到处都是意义不清的地方。在 维基百科页面 显示了各种使用,包括统计数据,天文学,生物学,产品设计,艺术,以及概念模型。 模型的词源也很有趣,它通过法语和意大利语回到... 详细

简单介绍GPT-3背后的Transformer概念和NLP世界 - towardsdatascience

20-09-17 463 1 banq

GPT-3是深度学习NLP模型家族的最新成员,并且可以说是功能最强大的成员,涵括NLP领域的发展成就:其中包括Transformer(2017),BERT(2018),GPT系列(2018、2019... 详细

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

20-10-08 215 banq

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

共有 78 上一页 1 2 3 4 5 ... 10 下一页