符号推理与形式逻辑

抽象方法一般有两个分解decomposition和组合composition，这两种方法的方向正好相反，分解是将整体分解为部分，而组合是将部分组合成整体。 在软件架构设计和编码中，我们经常快速灵活使用这两种方法，比如将一个类分解为多个小类，将一个方法分解为

很久没上jdon了，回来看了下，回过贴，提到一个词：非冯诺依曼。（尽管我是JAVA向的，但我热衷的还是函数和逻辑式。在我每次的探索中，总发现指令一直是约束程序员思维的东西，但我每次都否定不了，正因为冯诺依曼体系。发现这一点后，我到达了新天地——非冯诺依曼体系。以下用“冯”代表冯诺依曼体系，“非冯”代

一直以来，学计算机的总是要先学数学与算法，计算机科学家好像比数学家低人一等。现在计算机科学家Lamport认为传统xy数学公式有漏洞，采取对象结构证明方法更好，你是不是扬眉吐气了呢？ 赢得2013计算机图灵奖的Leslie Lamport发表了一篇

提要： 指称问题是当代英美语言哲学中的核心问题之一，也是与形而上学有着最为直接关系的部分。指称问题不仅涉及语言的意义，而且关系到对象的存在以及对象与语词之间的关系等问题。在现代语言哲学中，指称关系被看作是一种使用关系，是人们对语词的一种用法而已。实在论与反实在论在指称问题上的分歧的焦点集中在对于指称

基督教教义三位一体指出，上帝以三种人显现：父，子和圣灵，一起共同构成了三位一体的清单。计算机领域三位一体的教义认为，计算常表现为三种形式：命题证明、类型程序和结构之间映射。这三个方面又产生了三个教派：需要首先给出证明和命题的逻辑、程序和类型为优先的语言和映射与结构为优先的范畴Categories。计

上文中一个研究结果：受过教育的人都不太能看到自己的偏见，他们更容易妄下结论。这大概就是中国人常说的身在庐山中，不识庐山真面貌。 对业务需求分析时，如何避免盲人摸象的片面和偏见，是BA面临的最大挑战，这是一个思维习惯问题，江山易改，习惯难移啊。

这是一篇将离散数学结构中的集合set，序列sequence，函数function，disjoint unuin，关系relation和语法转变成使用Java，Python，Racket和Haskell可运行的代码：

根据这篇文章触发的灵感，写了两篇定义性文章： 什么是Monoid?

算法=逻辑+控制 (来源这里) 算

访问控制之“程咬金携薛刚出城” 书从何起？书从主谓宾起。主谓宾结构为一种文法的语序，即语法顺序为主语—谓语—宾语的结构，像"我吃苹果"就是一个例子，在此范例中“我”为主词（主语，物），“吃”为动词（谓语动词），“苹果”为名词（宾语，物）。所以也可以理解为两

基于类型的逻辑让我们使用构造逻辑constructive logic而不是经典逻辑，而且以这样一种奇怪扭曲的方式否定排中律，为什么我们要这么做？ 有一些理由，首先，构造逻辑其实不奇怪，只要你以它的方式思考，在经典逻辑中，排中律是“对于任何语句P，要么P是真

计算机科学领域中一个重要成就是：类型理论type theory对应于一个特别的逻辑系统。Type s

逻辑编程(又称关系范式)的突出优势是什么？因为该死的美学，逻辑编程简直太美了，他们自然的声明胜过于函数式编程中的任何宝石。逻辑编程使用搜索，这样能够就不会被算法细节牵着鼻子走，如果你还没有尝试过Prolog，关系编程简直无法让人想象。 学习关系范式最重要原

计算机语言 数学或人类语言都是语言，背后是逻辑，转贴一篇文章：动词是个独裁者_西闪

程序设计能从冯.诺依曼风格中解放出来吗?程序的函数风格及其代数-----John Backus (IBM RESEARCH) 此文为1977年ACM演讲,以下为关键部分的摘抄及自己的解读: 1 传统程序设计语言:

非常初级的问题在stackoverflow讨论：