#形式逻辑文章排行榜

软件工程为什么需要形式化方法? - ntietz

21-07-06 247 1 banq

软件工程师的工作不是编写代码,而是解决问题;我们可通过生成代码解决了大部分问题。但是最终,生成代码也很困难,我们需要帮助。这就是为什么 GitHub 的 Copilot 令人兴奋,但它远非理想,它只... 详细

第一门编程语言应该学什么? – thenewstack

21-07-07 165 1 banq

斯坦福和哈佛象牙塔中的教授们已经跟不上计算机发展形势,但是他们的文凭是敲门砖,这是人类社会系统奇怪特征,这是来自thenewstack文章,现在有两种正反观点,传统观点是认为第一门编程语言学习什么很... 详细

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

21-05-07 326 1 banq

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

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

21-06-11 256 1 banq

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

关于可视化编程分类的民间智慧 – drossbucket

21-07-02 273 1 banq

黑客新闻中有趣的反复出现的主题之一是可视化编程。这是我真正欣赏 Hacker News 的事情之一。大多数领域都存在 “鬼知识” 的问题,这是来之不易的实践理解,主要是在从业者之间口头传递,而不是在... 详细

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

21-06-08 283 1 banq

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

学习编程之前一定要学习数学吗? - CACM

21-06-28 168 1 banq

人们曾经认为人生学习的第一种编程语言很重要,但是现在上下文情况完全不同了,人们不必一定要学习数学以后才开始学习编程,而是可以直接从学习编程语言开始。学习数学可以成为更好的程序员,但是学习编程的大多数... 详细

计算机是怎么发明的?试图用逻辑改变世界的人 - nautil

21-07-16 190 1 banq

这是来自nautil.us的《试图用逻辑救赎世界的人》的大意翻译,标题用大白话说:试图用逻辑改变世界的人,之所以用救赎而不是改变,很显然“改变”一词有一些自居上帝的味道,而“救赎”一词更低调谦逊,但... 详细

上下文感知与态势感知或情境感知区别

21-06-27 161 banq

上下文感知的英文是:Contextual Awareness;态势感知或称情境感知的英文是:Situational Awareness。 情境Situational或事件发生在一个上下文中,这个上下... 详细

关于形式方法的10个误解 · Buttondown

21-07-06 112 banq

形式方法Formal-Methods是一个非常有趣和重要的领域,但不是程序员熟悉的领域,这会导致很多误解。这是试图解决其中的一些问题。免责声明,我专注于其中几个工具,但相信我对其余工具足够熟悉,可以... 详细

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

21-05-24 182 1 banq

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

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

21-05-25 183 banq

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

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

21-05-30 170 banq

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

共有 1111 2 3 4 ... 8 下一页