自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

刘瑛的博客

清静一念,即刻就是菩提道场。你一正心,朗然见得成功之道。

原创 [程序人生] [随笔感悟] -- 2018,我的博客年

无论走过多少路,无论年龄怎么长,坚持自己的梦想,并为之努力。 We’re here to put a dent in the universe(活着为了改变世界:steve Jobs) 20180305 把圈子变小,把语言变干净,把生活往上提,把故事往心里收一收。现在想要的以后都会...

2018-01-19 10:55:33 612 1

原创 逻辑学学习.14 --- 谓词逻辑(六):数量量词和摹状词

在英语中,摹状词的结构是: 定冠词 the + 形容词 + 普通名词(单数) 如: the highest mountain the ..... 我们用希腊字母 ι ( iota,读做“约塔” 或者 “艾欧塔“)来代替定冠词,从而把摹状词表示为: > ιxp(x) 读...

2019-03-27 16:57:51 666 1

原创 5到10年后的行业机会:汽车与出行,5G与万物互联

去年,2018年,其实有一个非常震撼的消息,大家可能都没注意,华尔街日报出了一个很刺激的新闻: 2018年无人驾驶汽车公司Waymo开始出租车商业化运营服务,最新估值1750亿美元,相当于传统汽车三巨头的市值之和。 要知道现在中国3500多家上市公司里,超过500亿人民币市值的公司才200多家...

2019-03-26 16:28:13 251 0

原创 逻辑学学习.13 --- 谓词逻辑(五):推演

谓词逻辑和命题逻辑之间最主要的区别是,前者处理量词,而后者不处理量词。因为量词的存在,就给谓词逻辑推演带来了困难。那么,如果在谓词推论时,先销去量词,得到结论后再加上量词,这样谓词推论在很大程度上就还原为命题推论了。这就是谓词逻辑自然演绎系统的基本思想。这样,证明一个谓词推论的一般步骤是: i)根...

2019-03-25 01:27:15 705 0

原创 逻辑学学习.12 --- 谓词逻辑(四):解释

前面讨论了一般命题的符号化,如果拿到一个符号化的命题,需要对它进行解释,就是符号化的逆过程。比如 F(a),F(a)命题的真假取决于对它的解释。F 是谓词,a是谓词常项,如果 “F(x)” 解释为 “x 是人”,“a” 解释为“孔子”,那么 F(a) 就是一个真命题。如果 F(x)同样解释为 “...

2019-03-22 18:43:01 907 0

原创 逻辑学学习.11 --- 谓词逻辑(三):命题的多重量化

如果一个命题中,一个量词的辖域又套了另外一个量词,并且每个量词所带的个体变项不同。那么,这个命题称做是多重量化的。 例如: ∀x (P(x)→ ∃y Q(y)) 多重量化不同于重复约束, 二者的区别是:前者所涉及的是含有不同个体变项的量词,而后者所涉及的是含有相同个体变项的量词。 例如,上例如果...

2019-03-20 03:08:33 572 0

原创 逻辑学学习.10 --- 谓词逻辑(二):一般命题的符号化

一。直言命题的符号化 简单符号化 三段论逻辑的命题只涉及直言命题,直言命题有四种: 全称肯定 A: 所有S是P 全称否定 E: 所有S不是P 特称肯定 I: 有S是P 特称否定 O:有S不是P 我们用个体变项x表示直言命题中的主项“S”,用P(…)表示直言命题中的谓词”…是P“。P()是一个...

2019-03-19 16:37:49 1286 0

原创 逻辑学学习.9 --- 谓词逻辑(一):谓词的基本概念

前面讨论的是命题逻辑和三段论逻辑,命题逻辑的范围局限于那些仅仅依据真值函项联结词的推论,三段论逻辑的范围限于那些仅仅依据量词的推论,而且仅仅限于这类推论的一小部分。而对于那些既依据真值函项联结词又依据量词的推论,命题逻辑和三段论逻辑都不能处理。 因此我们需要发展一种更加全面的逻辑系统,既能处理依据...

2019-03-12 22:22:02 3352 0

原创 逻辑学学习.8 --- 三段论逻辑(二):用文恩图检验三段论的有效性

三段论由三个直言命题组成,前面两个是前题,后面一个是结论。就主项和谓项而言,它包含三个不同的词项,叫做“大项”(P),”中项“(M),和”小项“(S),每个词项在不同的命题中各出现一次。例如: [推论2] 所有有机物都是含碳化合物; 糖是有机物; 所以,糖是含碳化合物。 一。三段论的式 前面一篇博...

2019-03-10 02:48:20 4797 0

原创 逻辑学学习.7--- 三段论逻辑(一):直言命题

三段论逻辑处理的推论叫做三段论推论。三段论推论与命题推论完全不同,三段论推论不涉及复合命题,只涉及简单命题,但是它需要涉及简单命题的内部结构,即涉及简单命题的内部的词项之间的逻辑关系。

2019-03-09 03:53:33 1756 0

原创 逻辑学学习.6--- 命题逻辑(四):推演的简单规则

前面开头就说过,逻辑学是一门以推论为主要研究对象的学科。一个推论的有效性取决于它的推论形式,而不取决于它的具体内容。 如何确定一个推论或推论形式是否有效是演绎逻辑所要研究的核心问题。 前面讲了真值表方法,在命题逻辑中,判断命题推论的有效性的方法,其中之一是真值表方法,除了真值表方法外,还有一种很常...

2019-03-05 01:41:35 3811 0

原创 逻辑学学习.5--- 命题逻辑(三):真值表

一个符号化了的真值函项复合命题无论多么复杂,不外乎就是有五个基本的真值函项联结词联结而成,由五个基本的真值特征表,我们可以构造任何复杂的真值函项复合命题的真值表。 一个推论的有效性,等于它是一个重言蕴含式。 ∧∨¬→ ↔ 一,重言式,重言蕴含式 命题举例1 :重言式 (P∧Q→R)↔(P→(Q...

2019-03-04 19:13:33 2146 0

原创 逻辑学学习.4--- 命题逻辑(二):符号化

一,命题的符号化 用人为规定的符号表示一个命题 命题举例: “你干这些工作或者我干这项工作” J表示“你干这项工作” K表示“我干这项工作” ”或者“ 是联结词,表示合取,用 ∧ 表示 符号化 J∧K 命题常项:用大写字母A到Z表示。命题常项表示命题的缩写。 命题变项:用 p, q, r, ...

2019-03-03 23:44:40 1966 0

原创 逻辑学学习.3--- 命题逻辑 (一):基本概念

演绎逻辑研究的一个基本分支就是命题逻辑,命题逻辑以命题为最小单位。它主要是研究复合命题中的真值函项复合命题,怎样由简单命题推导出真值函项复合命题。

2019-03-03 21:11:47 1188 0

原创 逻辑学学习.2 --- 概念(二):论证的基本规则,归谬法,二难推论

逻辑学是一门以推论为主要研究对象的学科。演绎推论就是具有必然性的推论,而归纳推理一般只有或然性。这里探讨的是演绎逻辑。 一个推论的有效性取决于它的推论形式,而不取决于它的具体内容。当一个演绎推论的所有前提为真时,其结论必然为真,那么具有这样性质的推论就是有效的。 如何确定一个推论或推论形式是否...

2019-03-02 23:33:07 848 0

原创 逻辑学学习.1--- 概念(一):词项命题和推论

- **推论的形式**。任何具体推论都有内容和形式两个方面。推论的内容就是推论所涉及的具体对象,**推论的形式就是推论所具有的共同结构**。因此这种逻辑学也叫做“**形式逻辑**” - 为什么要研究 **“形式逻辑”** ? 因为一个推论的有效性取决于推论的形式而不取决于推论的内容。

2019-03-02 19:26:41 1064 0

原创 基本逻辑符号与数学符号列表

符号 名字 解说 例子 读作 范畴 → 或 ⇒ 蕴含 implies/conditional/ A → B 意味着如果 A 为真,则 B 也为真;如果 A 为假,则对 B 没有任何影响 x=2x=2x=2 → x2=4x^2 =4x2=4为真,但 x2x^2x2 = 4 → x=2$一般...

2019-02-27 19:39:41 11708 1

原创 形式化语言的重要性

世界上的语言,总体来说,可分为三类: 1.自然语言(比如英语和汉语) 2.半形式化的语言(数学语言),即自然语言加特定的符号。 3.形式化的语言(逻辑语言) 半形式化语言 任何一个数学分支的语言都是在自然语言的基础上附加一些特定的符号,它们与自然语言相比更具形式化。因此,称它为半形式化的语言。 数...

2019-02-26 23:16:59 2141 0

转载 人工智能已到瓶颈! AI未来发展方向

AI泰斗张钹:AI最重要的能力是知识,而不是数据 阿尔法狗打败围棋高手、索菲亚任你问答、无人车陆续量产,人工智能正日益为人类社会带来不可思议的改变。人工智能一方面在不断挑战人类的想象力,一方面又显得十分智障,人工智能呈现出两种不同的面貌。 日前,中国科学院院士、清华大学人工智能研究院院长张钹发表了...

2019-02-26 18:15:53 637 0

原创 中国人为什么学不好数学

中国的数学教育完全是一种应试教育,高考数学题难度不大数量大,要求考生在较短的时间内快速答题,考生基本没有没有思考的时间,必须熟练掌握各种解题技巧才能拿高分,这种考式更像是对考生的”压力测试“而非对数学的思维考察。这种模式过于强调数学的应用性与功利性,不利于培养数学思维。 中国人有一个非常奇怪的习惯...

2019-02-26 17:46:00 1813 0

原创 数学"命题"初步以及三角函数相关复习

一,什么叫做命题? 可以判断真假的陈述句叫做命题。 必须满足两个条件:1)陈述句,2)能判断真假 真命题:结论为真 假命题:结论为真 命题的否定:只否定结论 原命题:若p,则q 逆命题:若q,则p 否命题:若-p,则-q 逆否命题:若-q,则-p (若p则q形式的命题,也是一种复合命题,其中的p与...

2019-02-24 01:49:48 108 0

原创 关于“无穷”的概念---数学笔记“无穷”

“无穷”这个概念一般人都是既知道又不知道, 头脑里大体能想象,但是无法精确。 但是对于数学这门学问来说,数学是研究精确性和确定性的学问。“无穷”首先来自于数学中的“数”,自然数就是有无穷多个,然后是实数,也是无穷多个,几何图形中,一条直线有无穷多个点。然而“无穷”对于数学来说,确像是一个无边无际...

2019-01-25 01:16:26 846 0

原创 家长究竟应不应该为了孩子买学区房?

家长究竟应不应该为了孩子买学区房? 近年来,天价学区房不断刷屏,曾有一篇文章《再见北京》刷爆朋友圈, 这位家长的心路历程在大量的中产家庭中引起轩然大波,这位爸爸也被网友亲切地称为“移民爸爸”。 他说:我和孩子妈看了许久的学区房,房东竟趁火打劫、临时涨价。房子在西城一个老街、周围电线杆和电线密...

2019-01-16 10:09:56 993 0

转载 东西方文化心理结构的比较:两极与中间

东西方民族文化结构和民族心理结构,西方感性有酒神,理性有日神,感性是体育,理性是科学。 从某种意义来讲,数学是全部自然科学的基础和前提,而证明式演绎推论基础上的数学,则是毕达哥拉斯等人创立的。我们知道,几何学上勾股定理一直被人们称之为毕达哥拉斯定论,就连数学这个词也是由毕达哥拉斯学派最先使用的。...

2019-01-16 00:32:56 359 0

原创 古希腊的"日神"与"酒神"

西方文明的源头是古希腊文化。 古希腊社会有两种宗教精神,“日神”与“酒神”两种对立的精神。 “日神精神”源自阿波罗(Apollo)崇拜。 “酒神精神”源自狄俄尼索斯(Dionysus)崇拜。 大体说来,阿波罗(Apollo) 和狄俄尼索斯(Dionysus) 的宗教崇拜都是父系社会后期、氏...

2019-01-15 23:50:30 2840 0

原创 古典概型计算概率:钥匙乱序问题(Derangement)

【古典概型计算概率:乱序问题(Derangement)】 【钥匙乱序】 有外形相同的n把锁和n把钥匙,每把钥匙只能打开其中的一把锁,现将锁和钥匙随机配对,每对锁和钥匙各一把,试求至少有一把锁能被所配对钥匙打开的概率。 注意,同样是配对问题,与选择手套问题不同的是,手套问题可以只选部分,本...

2018-11-01 22:29:29 1959 0

转载 古希腊就有象形文字为什么西方人却用字母文字?

东西方文字差异非常大,我们知道中国的汉字是一种表意的语言体系,而西方的文字则是由拼音字母构成的这样一种表音的语言的体系。它们之间有什么差别?为什么在中国形成不了像西方那样一种字母表述体系呢? 中国汉字的特点我们可以追溯到远古时代,那是一个农耕文明的土地,离大海很远,多是平原和丘陵,环境相对比较平和...

2018-10-04 10:26:52 2224 0

原创 日常实用英语表达个人总结(1)

上班,下班 go to work , get off work 上学,放学 go to school , get off school 上课,下课 go to class, get off class 上车,下车 get on bus/train/plan...

2018-09-29 19:20:00 1976 6

原创 常见生活实用英语个人总结

当想跟陌生人搭话 对不起,打扰一下。 Excuse me! (如果想帮助别人)需要我帮忙吗? May I help you? 如果你听到别人喊你,或者对你说Excuse me! 回答:Yes?(升调。表示引起注意) 没听清,请对方再说一遍 Parden?(升调) (如果想请...

2018-09-23 16:56:03 1132 0

原创 英语常用九种时态记忆要点

英语的时态是英语的难点,可是比汉语难多了,尤其对我们中国人,口语中不知道用什么时态,如果是写文章还好,可以慢慢斟琢,但是口语就会反应不过来。雅思口语考试常用到的时态有一般现在时、一般过去时、一般将来时、现在进行时、过去进行时、过去将来时、现在完成时、过去完成时、现在完成进行时。 (一)一般现在时...

2018-09-22 13:08:27 2504 0

原创 国外真实情景,英语日常口语提示

国外真实情景,英语口语提示 1.英文的问句,不管提问题的人如何发问,要针对事实回答,不管是肯定疑问和否定疑问 只回答事实,不回答是否同意提问人的问题。 NCE-1 例句,Lesson 91,P185 CATHERINE: Poor Ian! He d...

2018-09-11 14:03:30 601 0

转载 真相(truth)最可怕的敌人不是谎言(lie),而是神话(myth)

唐浩明点评曾国藩家书 写书评,书评名:真相(truth)最可怕的敌人不是谎言(lie),而是神话(myth)       “自官江吏以来,一二十五年,惟在晋两年公事较简。此外无日不在荆天棘地之中。大抵所办之事,皆非政府意中欲办之事;所用之钱,皆非本省固有之钱;所用之人,皆非心悦诚服之人。...

2018-09-10 10:26:57 299 0

原创 英文佳句欣赏 Appreciating the English sentences

把简单的事情做彻底,把平凡的事情做经典,把每一件小事都做得更加精彩。 英文佳句欣赏 Appreciating the English sentences If you shed tears when you miss the sun, you also miss the stars. 如果...

2018-08-22 08:42:00 363 0

原创 英语音变的几点总结

英语音变几个小点 idiom:A little pot is soon hot. 1. 清辅音变浊辅音 1) 以[t] 结尾单词碰上以元音开头单词,发音有变。如[t]-[d] What a nice surprise.[’wɔ-də] What about going to a movi...

2018-08-17 17:53:31 1749 0

转载 雅思口语想考7分,到底该说英音还是美音

在雅思口语考试中 英音和美音到底会不会影响我们的口语成绩 具体区别有哪些 英国人好像一贯有点瞧不起美国英语: 虽然不是女王本人所说(上图是个高仿号,并不是真·英国女王),但戏谑也来源于生活,应该多少能够代表一部分人的想法。于是有一些美剧资深粉丝可能就会担心了:在雅思口语考试里,说美式英...

2018-07-23 12:02:05 3668 0

转载 英语连读 Word Connections

你会正确地读以下单词么:feel, fool, heal, wheel, … 你会正确地读以下词组 么:I am, s/he is, I always, too often, … 如果你不会正确发音,那么你需要学习 连读规则;如果你能够正确发音,但不知道原因,那你更需要学习连读规则—— 今天...

2018-07-18 08:50:48 627 0

原创 英语--日常生活名词收集 Daily Life Nouns Collection

1.教室 classroom 1.public-address speaker 广播 2.map 地图 3.chalkboard/blackboard 黑板 4.class schedule 课表 5.organ 管风琴 6.global 地球仪 7.eraser 黑板檫 ...

2018-06-25 09:00:37 6177 0

原创 英语-地理名 Geographic Name

一。七大洲 Seven Continents 洲名n. 大部分以 ‘-a’ 结尾,地方和人加后缀 -an -an Suffix表名词和形容词,表示 “…地方的”, “…地方的人” noun. adj, people, peop adj ...

2018-06-21 12:29:05 134 0

原创 数字听力Numbers Listening

英文数字是听力的一大难关,我对数字11~99的双位数不敏感。0~99是基本数,上去会有hundred,thousand,million,billion,所以训练 0~99的敏感度是关键 。 下面几篇文章是关于英文数字大全。 一。 零的读法有好几种 zero, Oh(电话号码0,小数点...

2018-06-12 09:50:31 4746 2

原创 英语学习计划和方法 English learning plans and methods

英语的重要性不用多说,即使对于一个码农来说,也是很重要的,它是一个人的门面,决定了一个人的档次和视野,最简单的,你能否听懂网络公开课,你能否给国外客户介绍你的产品? The importance of English is not to be said much ,even for a code...

2018-06-06 10:33:44 1493 0

提示
确定要删除当前文章?
取消 删除