技术很有趣

ZFC公理对于研究和证明数学基础是重要的，但是出于实用的目的，它们太原始了。用ZFC公理系统证明定理有点像使用字节码编程而不是用成熟的编程语言——按某一计算方式，使用ZFC，一个常规的证明2 + 2 =4，需要超过20000个步骤！因此不从ZFC开始，我们将使用大量公理集作为我…

一个谓词可以理解为是一个真假依赖于一个或者多个变量值的命题。因此“n 是一个完全平方数”描述的是谓词，因为直到你知道变量n可能的值是什么，你才能判断它的真假。一旦你知道，例如n等于4，该谓词就是真命题“4是一个完美平方数”。记住，没有说命题一定得为真：如果n的值是5，你就得到假…

举例，下面两个陈述句是命题。第一个为真，第二个为假。 命题 1.1.1. 2 + 3 = 5. 命题 1.1.2. 1 + 1 = 3. 是真是假看起来不算什么限制，但是将类似“你为什么是罗密欧？”和“给我一个A！”的表述给剔除了。它也将真假随着条件变化而改变的陈述给剔除了，比…

本文阐述如何使用数学模型和方法分析在计算机科学中产生的问题。证明在本文中扮演了核心角色，因为作者们和大多数学家共享一个信念，即证明对于真正的理解是最重要的。证明也在计算机科学中扮演了一个不断成长的角色；证明被用来验证软硬件的正确运行，这是再多的测试也无法做到的事情。 简而言之，…

曾几何时，利用Google搜索某问题的时候，意外地接触到了一个网站：https://www.gitbook.com/。一个在线编辑书籍、文章的文章，具体描述可以去其网站观看。该网站旧版地址：legacy.gitbook.com. 刚工作不到一年的时候，接触到公司的商业项目，逐步…

一般来说，都是为了同一局域网内文件传输的便利性，而且局域网文件传输速度很快。自己可能有多台电脑或者需要与他人共享文件都可以采用这种方式。还有就是需要远程调试代码，比如在Windows下IDE做开发，在远程Linux系统上调试。 注意：共享账户设置的密码不是安全存储的。 3.输入…

搭建本地环境：安装node.js，包含了npm命令。 新建目录，在该目录下，初始化项目：npm init。 按照提示填写初始化信息，我的模块名称为：finitxu-npm-test，初始版本号：v1.0.0。 不能够与已有NPM模块名冲突等等。 3.登录npm，发布自己的npm…

定义：主要指使用Number、Boolean、String、toString、parseInt、parseFloat将各种数据类型与String、Number、Boolean三种基本数据类型进行相互转换。

补充：===运算符不存在类型转换；在判断变量是否为null时使用==运算符做判断即可，其它的都用严格等于===，jquery源码也是这么做的。