首页
首页
沸点
课程
直播
活动
竞赛
商城
APP
插件
搜索历史
清空
创作者中心
写文章
发沸点
写笔记
写代码
草稿箱
创作灵感
查看更多
会员
登录
注册
技术很有趣
掘友等级
软件工程师
|
砖厂
头条号/微信公众号:技术很有趣
获得徽章 0
动态
文章
专栏
沸点
收藏集
关注
赞
57
文章 55
沸点 2
赞
57
返回
|
搜索文章
文章
热门
最新
翻译《计算机科学与数学》第一章第四节:我们的公理
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. 刚工作不到一年的时候,接触到公司的商业项目,逐步…
如何跨操作系统共享文件?你还在用U盘傻瓜式地拷贝文件吗?
一般来说,都是为了同一局域网内文件传输的便利性,而且局域网文件传输速度很快。自己可能有多台电脑或者需要与他人共享文件都可以采用这种方式。还有就是需要远程调试代码,比如在Windows下IDE做开发,在远程Linux系统上调试。 注意:共享账户设置的密码不是安全存储的。 3.输入…
如何发布自己的NPM包(模块)?
搭建本地环境:安装node.js,包含了npm命令。 新建目录,在该目录下,初始化项目:npm init。 按照提示填写初始化信息,我的模块名称为:finitxu-npm-test,初始版本号:v1.0.0。 不能够与已有NPM模块名冲突等等。 3.登录npm,发布自己的npm…
JavaScript 五种基本数据类型(下)
定义:主要指使用Number、Boolean、String、toString、parseInt、parseFloat将各种数据类型与String、Number、Boolean三种基本数据类型进行相互转换。
JavaScript 五种基本数据类型(上)
补充:===运算符不存在类型转换;在判断变量是否为null时使用==运算符做判断即可,其它的都用严格等于===,jquery源码也是这么做的。
小强面试记
这一年的某一天,一个叫小强的大四学生来老刘公司应聘实习生,应聘职位也是这几年发展迅猛的前端开发。 “自我介绍下吧。”老刘一脸严肃地说到,似乎并没有因为对方是妹纸稍显温柔和蔼,怜香惜玉更无从谈起。 小强噼里啪啦的自我介绍完一通之后,老刘又接着问:“既然你应聘的是前端开发岗,那就先…
下一页
个人成就
文章被点赞
47
文章被阅读
23,252
掘力值
454
关注了
175
关注者
8
收藏集
35
关注标签
51
加入于
2017-06-30