bool的博客

一对一的定义：如果x对y有所说的关系，则没有其他的项x'对y有这种关系；并且x对于y以外的任何项y'也没有相同的关系多对一与一对多定义：只满足一对一条件中的第一个的关系称为一对多关系，只满足第二个的关系称为多对一关系。后域与前域：前域：所有与别的东西有某给定关系的各项所形成的类叫做这关系的前域。后域：后域就是它的逆关系的前域。相似：所谓一类相似于另一类，就是在它们之间有一个一对一的关系，一类是这关系的前域，令一类是它的后域。数的定义：一个类的数是.

最近在阅读罗素大神的数理哲学导论，本书是罗素继1903年问世的《数学原则》和1910-1913年出版的三大卷黄黄巨著《数学原理》之后所写的一本书，本来是想直接开肝数学原理的，但是数学原理一书因为内容艰深晦涩，国内似乎并没有中文版的，但是在网上看到了这本书，这本书罗素在谈到时，把它称之为数学原理一书的导论，或者半普及本，这本较之于数学原理更容易上手，于是趁着有空，打算看完这本书。我们对于自然数虽是熟悉，却并没有了解。什么是“数”，什么是"0"，什么是"1"，很少有人严格解释过，更不用下定义，Peano.

最近在开发gis系统，需要用到在线段上添加点的功能，线段是由很多点连接起来的，所以就要判断点在那一段线段里面，然后插入点。点是否在线段上可以转换为三点是否共线的问题：三点是否共线可以通过判断斜率来判断：设有 p1,p2,q三点，判断三点是否共线:公式：k1 = (p2.y - p1.y)/(p2.x - p1.x)k2 = (q.y - p1.y)/(q.x - p1.x)如果k1 === k2就表示三点共线但是在计算机中，点的计算是浮点型，需要设定一个阈值这里阈值设置为