#形式逻辑

      更多分类

科技与上帝的类比:2019年的万神殿

19-07-28 63 banq

该文作者认为理性主义者只能设法杀死一个非常狭隘和拟人化的上帝观念,研究复杂系统的人开始使用新的词语来谈论类似神的现象,其实他们还是在谈论上帝,只是更适合世俗思想的隐喻,这些科学新词在真正实现之前,会... 详细

创新思维框架:第一原则思维 - Neil Kakkar

19-07-15 155 1 banq

特斯拉创始人马斯克使用第一原则思考从零开始设计廉价火箭,并同时 也彻底改变了电动汽车行业。第一原则是一个基本的,基础的,不言而喻的命题或假设,不能从任何其他命题或假设推导出来。 在数学和逻辑学中,第... 详细

类型是软件设计的基本工具

19-01-02 49 banq

本文来自tedinski,类型与函数哪个是设计基础?数据结构和算法是设计基础吗? 函数与类型的关系,打个比喻,有点像建筑师想要进行室内设计。并不是说房间的内部并不重要 - 一个糟糕的建筑师绝对可以创... 详细

柏拉图和面向对象编程

18-12-27 221 3 banq

面向对象编程代表了自计算机出现以来普遍存在的传统编程方法的范式转变。虽然今天的计算机科学家是很聪明的人,但从柏拉图的留下的对话著作中我们不难发现,实际上支持面向对象编程的内在概念已有近2500年的历... 详细

分类思维

18-12-25 156 banq

这篇文章的灵感来自 斯坦福大学教授罗伯特·萨波尔斯基(Robert Sapolsky)的讲座,该讲座 略过了一些分类思维的观点。我发现了解软件开发的某些方面很有帮助。 什么是类别? 分类思维... 详细

DDD聚合五种设计方法

18-12-24 2 1084 3 banq

聚合是啥?聚合就是整体与部分的组合,这里推荐一篇Szymon Kulec英文文档,点击标题进入后可获得实现聚合的五种规则,该文档大意翻译如下: 我第一次阅读领域驱动设计(DDD)的蓝皮书时,它改变了... 详细

Java 8谓词链

18-12-21 87 banq

在本快速教程中,我们将讨论在Java 8中谓词链Predicates的不同方法。 让我们看看如何使用简单的谓词来过滤名称列表: @Test public void whenFi... 详细

消极架构

18-12-18 1 484 4 banq

这是来自Michael Feathers的一篇著名文章,Negative Architecture消极架构已经被广泛传播。下面结合中国老子思想解释与翻译如下,从“无与有”角度理解“架构不做什么”反而... 详细

你忘掉OOP的速度越快,你和你的软件就越好

18-11-26 508 1 banq

也许这只是我的经验,但面向对象编程似乎是一种默认的,最常见的软件工程范例。 我花了好几年才打破它的咒语,并清楚地了解它是多么可怕和为什么。由于这种观点,我坚信人们必须了解OOP的错误,以及他们应该做... 详细

逻辑的公理是什么?

18-11-17 86 banq

几何有公理,五条欧式几何公理 1.直线公理。 2.线段(有限直线)可以任意地延长。 3.以任一点为圆心、任意长为半径,可作一圆(圆公理)。 4.凡是直角都相等(角公理)。 5.两直线被第三条直线所截... 详细

语法与语义

18-11-15 29 banq

我们经常遇到这个问题。我们选择在大多数时候忽略它们。但这到底是什么意思呢。 他们俩都不一样吗? 嗯......不太好。让我们明白为什么。 语法: 语法告诉您可以编写的内容。 语义: 语义告... 详细

Html/CSS的符号学

18-11-13 29 banq

本文从索绪尔语言哲学等理论高度认为不需要CSS中的class属性。 CSS的好处是:HTML元素可以在不依赖class属性的情况下实现各种风格的样式化,文章试图证明class属性是过时的,不适合于布... 详细

一篇有关函数式编程的形象生动教程

18-11-12 4 728 3 banq

函数式编程(FP)与面向对象编程(OOP)的诞生的时间差不多,但它最近才最受欢迎,特别是在JavaScript社区中,为什么? 我在00年代早期就学麻省理工学院。计算机程序的体系结构和解释(SIC... 详细

在编程之前像计算机一样思考

18-11-06 51 banq

首先,计算机不会(很不能)思考,它们会执行。简而言之,这一切都归结为机器执行一系列指令,如果这些指令的顺序正确,那么我们就会得到我们正在寻找的结果。 编程是计算机科学的一小部分。它基于计算原理,这是... 详细

计算机科学哲学(斯坦福大学哲学百科全书)

18-10-24 303 1 banq

主要是关于计算机科学到底是数学还是工程还是科学的争论,摘要部分重点如下: 计算机科学的语言分为两种:程序规范设计语言如Java和广义语言如UML,它们的基本本体及其阐述要求的方式各不相同。 ... 详细

共有 321 2 3 下一页