#形式逻辑文章排行榜

DDD和维特根斯坦哲学之间的共鸣

21-05-02 583 1 banq

人类哲学史出现上那么多大哲大神,学哲学的人认为那是思想多样化的结果,但是从实用主义角度看,对后来产生积极进步发展的作用来看,维特斯坦是近代最伟大哲学家,没有之一,他和罗素促进了 形式逻辑 的诞生... 详细

编程是最好的逻辑能力训练方法! - thoughtbot

21-05-07 440 1 banq

程序编程调试是最好训练培养一个人逻辑推理能力的方法,没有之一。数学推理过于严谨,人性化不足,普及性不够,想通过数学普及提升普通人逻辑能力,容易引起抵触,数学存在 天赋论之说 影响其普及;其他办法如科... 详细

如何开始复杂性科学的研究? - systemsinnovation

21-03-31 535 1 banq

科学从根本上根据经验数据以及模型/理论的发展来对我们周围的世界进行调查,以描述我们在这些数据中发现的模式。 为了使知识被认为是科学的,它取决于满足许多基本要求: 首先,它必须随着时间的推移反复不... 详细

美国加州公立学校正研究阻止所谓数学天才在高中前学习微积分 - reason

21-05-06 427 1 banq

加利福尼亚州教育部正在开发一个新的K-12数学框架,该框架阻止有天赋的学生注册学习微积分等高级概念的速成班。 这项决定是基于以下认知前提: 数学实际上是关于语言、文化和社会正义的,没有任何人比其他人... 详细

在多种编程语言之间转换代码的IDE工具:ide.onelang.io

21-06-11 367 1 banq

一个超级酷的工具:您可以在其中将代码从一种编程语言转换为另一种编程语言。点击标题。  你可以将Ruby转换为 Javascript 或 java 等愚蠢的语言,现在编程会很有趣! 你也许迫不及待地想... 详细

英语思维与面向对象分析思维的关系

21-06-08 387 1 banq

这个想法来自于抖音的一个小视频:什么是英语思维(点击标题)。中文:汤姆应该是一等奖,按照中文思维翻译成英语是:Tom should be the first prize;而按照英语思维,使用物语Ob... 详细

将数学与计算机科学联系起来的先驱者获得数学诺贝尔奖 | quantamagazine

21-03-26 549 1 banq

阿贝尔奖(Abel Prize,也称为亚伯奖)是一项挪威设立的数学界大奖,每年颁发一次。被认为数学界的诺贝尔奖。 Avi Wigderson(威格森)和LászlóLovász(洛瓦兹)分别因其开发... 详细

如何通过“就像XX”启发创新思维? - mathiasverraes

21-05-24 239 1 banq

类比、隐喻、比喻、类比虽然让人更容易理解,但是也是最危险的思维方式,故马斯克提出使用第一性思维替代他们,本文式 DDD 专家mathiasverraes的一篇文章,也是谈论这种启发性(heuri... 详细

快速、慢速两种思考以及相关性与因果性的思考

21-05-25 228 banq

相关性不代表因果关系,但是没有相关肯定没有因果吗?诺贝尔奖获得者卡尼曼也有范常识错误的时候: 《思考,快和慢》 是由诺贝尔经济学奖获得者丹尼尔·卡尼曼(Daniel Kahneman)于20... 详细

学习绘画如同学习语言一样:重要的是学习视觉图案 (Neil Cohn)

21-03-22 331 banq

学习绘画如同学习语言一样,需要学会如何用视觉词汇表达,掌握视觉词汇以后就可以释放创造力。 该文调查研究了美国和日本的绘画几十年来发展,美国绘画包括学校美术课从一开始就强调创造力,不提倡学生临摹,但是... 详细

UML死了,但是形式方法能成功吗? •Buttondown

21-05-03 294 banq

上周二的文章“ 为什么UML“真的”死 了”风靡一时。我很高兴人们喜欢它,我也很高兴使用所有休闲研究它,但是有些事情困扰着我。人们并没有从UML切换到其他东西。他们完全摆脱了思维定势。UML并没有满... 详细

数学发展时间表 | Mathigon

21-04-11 479 banq

该图(点击标题)标罗列了有史以来各个阶段重要的数学家,与中国相关还有: 竹桌:您可以看到一组大约2300年前在中国创建的21条竹带。如果正确放置,它们会以中国古代书法写成的底数为10的形式形成... 详细

幽默:正如生物学与显微镜无关一样,计算机科学CS与计算机无关

21-05-30 221 banq

计算机科学与计算机无关,就像天文学与望远镜无关一样。 生物学与显微镜无关,计算机科学与计算机无关。 “计算机科学”是一个可怕的名字。天文学不叫“望远镜科学”,生物学不叫“显微镜科学”。 这句话归功于... 详细

Catala:用于法律的编程语言

21-05-06 262 banq

法律是现代社会的基础,编纂和管理公民日常生活的许多方面。通常,法律在各个法院和司法管辖区都受到解释、辩论和质疑。但在其他一些领域,法律几乎没有解释的余地,其实质目的是严格描述计算、决策程序,或简单地... 详细

共有 118 上一页 1 2 3 4 5 ... 8 下一页