大话停机问题

停机问题

Read More

大话P, NP, NPC

去他妈的定义

Read More

冒泡排序算法的验证

冒泡排序(Bubble Sort)是一种简单的排序算法。它重复地走访过要排序的数列,一次比较两个元素,如果他们的顺序错误就把他们交换过来。走访数列的工作是重复地进行直到没有再需要交换,也就是说该数列已经排序完成。这个算法的名字由来是因为越小的元素会经由交换慢慢“浮”到数列的顶端。

Read More

内存管理 realloc

Read More

判断问题之PCP

判定问题(decision problem)

Read More

正则语言(regular language)

有限自动机 finite automaton

Read More

论两性(二)之理想爱人

稻草人存在于田野的源泉来自于小鸟的恐惧内心和孩童的好奇欲望。是先有稻草人的安静存在还是先有小鸟的内在恐惧?又,先有鲜美滚烫的姑娘还是先有对鲜美滚烫姑娘的渴求?这是迭代之后必然会出现的惯性问题,无法回避、摆脱和抵抗,存在也不再是一个枯燥的令人头疼的概念。

Read More

谓词逻辑(Predicate logic)

命题逻辑中,只能可以表示这样的命题链接词:“非”,“与”,“或”,“如果…那么”。但是如果要表达“所有”,“全部”,“存在”,“只有”的概念,就需要或者命题逻辑。这篇文章将会介绍谓词逻辑 (predicate logic),或者称作一阶逻辑 (first-order logic)。谓词用来表示事物的性质,以及事物之间的关系,事物可以是确定的具体的客体,比如“小明”,比如“小明的桌子”,也可以是抽象的不确定的变体,比如“一个人”,“一张桌子”,因为是变体,我们不知道具体指的是哪个人哪张桌子。变体一般有一个取值范围,称作域domain,比如“在这个房间里的桌子”,域就被限制在“这个房间”。

Read More

命题逻辑(Propositional Logic)

命题逻辑由命题和命题逻辑符号组成。每个命题都可以判断真假。

1. 命题

Read More

程序安全百分百之 烦人的代码

【程序安全百分百】系列文章

第一章:笑傲代码江湖

TODO:

    Read More