- 博客(82)
- 收藏
- 关注
RSS订阅
原创 [程序人生] [随笔感悟] -- 2018，我的博客年
无论走过多少路，无论年龄怎么长，坚持自己的梦想，并为之努力。We’re here to put a dent in the universe(活着为了改变世界：steve Jobs)20180305 把圈子变小，把语言变干净，把生活往上提，把故事往心里收一收。现在想要的以后都会有。1。以前一直想写博客，但苦于没时间，从2018年起，经过深入思考，制定了全新的工作计划，一边重新系统...
2018-01-19 10:55:33
896
1
原创 逻辑学学习.14 --- 谓词逻辑（六）：数量量词和摹状词
在英语中，摹状词的结构是：定冠词 the + 形容词 + 普通名词（单数）如： the highest mountain the .....我们用希腊字母 ι ( iota，读做“约塔” 或者 “艾欧塔“）来代替定冠词，从而把摹状词表示为： > ιxp（x）读做：那个唯一具有性质 p 的个体。在讨论摹状词之前先要搞清楚数量量词的表达，因为，”恰好有一个个体是 F“ 的公式在摹状词中要用到。
2019-03-27 16:57:51
2232
1
原创 5到10年后的行业机会：汽车与出行，5G与万物互联
去年，2018年，其实有一个非常震撼的消息，大家可能都没注意，华尔街日报出了一个很刺激的新闻：2018年无人驾驶汽车公司Waymo开始出租车商业化运营服务，最新估值1750亿美元，相当于传统汽车三巨头的市值之和。要知道现在中国3500多家上市公司里，超过500亿人民币市值的公司才200多家，超过一千亿人民币市值的就更少了，而这家Waymo公司最新估值1750亿美元，一万多亿人民币啊，这是一...
2019-03-26 16:28:13
634
原创 逻辑学学习.13 --- 谓词逻辑（五）：推演
谓词逻辑和命题逻辑之间最主要的区别是，前者处理量词，而后者不处理量词。因为量词的存在，就给谓词逻辑推演带来了困难。那么，如果在谓词推论时，先销去量词，得到结论后再加上量词，这样谓词推论在很大程度上就还原为命题推论了。这就是谓词逻辑自然演绎系统的基本思想。这样，证明一个谓词推论的一般步骤是：i）根据有关规则销去量词。ii）求得不带量词的结论。iii）根据需要，根据有关规则再给结论加上量词。一...
2019-03-25 01:27:15
4060
1
原创 逻辑学学习.12 --- 谓词逻辑（四）：解释
前面讨论了一般命题的符号化，如果拿到一个符号化的命题，需要对它进行解释，就是符号化的逆过程。比如 F（a），F（a）命题的真假取决于对它的解释。F 是谓词，a是谓词常项，如果 “F（x）” 解释为 “x 是人”，“a” 解释为“孔子”，那么 F（a） 就是一个真命题。如果 F（x）同样解释为 “x是人” a 解释为 “黄鹤楼”，那么 F（a）就是一个假命题。一。解释对一般命题解释的方法：a...
2019-03-22 18:43:01
4430
原创 逻辑学学习.11 --- 谓词逻辑（三）：命题的多重量化
如果一个命题中，一个量词的辖域又套了另外一个量词，并且每个量词所带的个体变项不同。那么，这个命题称做是多重量化的。例如： ∀x （P（x）→ ∃y Q（y））多重量化不同于重复约束， 二者的区别是：前者所涉及的是含有不同个体变项的量词，而后者所涉及的是含有相同个体变项的量词。例如，上例如果改成：∀x （P（x）→ ∃x Q（x））那么，这就成了重复约束。全称命题的一般结构：∀x （...
2019-03-20 03:08:33
2000
原创 逻辑学学习.10 --- 谓词逻辑（二）：一般命题的符号化
一。直言命题的符号化简单符号化三段论逻辑的命题只涉及直言命题，直言命题有四种：全称肯定 A： 所有S是P全称否定 E： 所有S不是P特称肯定 I： 有S是P特称否定 O：有S不是P我们用个体变项x表示直言命题中的主项“S”，用P(…)表示直言命题中的谓词”…是P“。P（）是一个元变项，表示任何一个一目谓词。如果主项x表示最大的类，即宇宙间一切事物的集合，那么符号化一般形式是：...
2019-03-19 16:37:49
11297
5
原创 逻辑学学习.9 --- 谓词逻辑（一）：谓词的基本概念
前面讨论的是命题逻辑和三段论逻辑，命题逻辑的范围局限于那些仅仅依据真值函项联结词的推论，三段论逻辑的范围限于那些仅仅依据量词的推论，而且仅仅限于这类推论的一小部分。而对于那些既依据真值函项联结词又依据量词的推论，命题逻辑和三段论逻辑都不能处理。因此我们需要发展一种更加全面的逻辑系统，既能处理依据真值函项联结词的推论，又能处理依据量词的推论，而且还能处理既依据真值函项联结词又依据量词的推论。这样的逻辑理论叫做”**谓词逻辑**“。我们把谓词逻辑所处理的推论叫做”**谓词推论**“，命题推论是谓词推论的一部分
2019-03-12 22:22:02
14097
原创 逻辑学学习.8 --- 三段论逻辑（二）：用文恩图检验三段论的有效性
三段论由三个直言命题组成，前面两个是前题，后面一个是结论。就主项和谓项而言，它包含三个不同的词项，叫做“大项”（P），”中项“（M），和”小项“（S），每个词项在不同的命题中各出现一次。例如：[推论2]所有有机物都是含碳化合物；糖是有机物；所以，糖是含碳化合物。一。三段论的式前面一篇博客三段论逻辑（一）：直言命题学过，三段论的直言命题只有四种类型，用缩写表示分别是 A（全称肯定）,E（...
2019-03-10 02:48:20
32272
原创 逻辑学学习.7--- 三段论逻辑（一）：直言命题
三段论逻辑处理的推论叫做三段论推论。三段论推论与命题推论完全不同，三段论推论不涉及复合命题，只涉及简单命题，但是它需要涉及简单命题的内部结构，即涉及简单命题的内部的词项之间的逻辑关系。
2019-03-09 03:53:33
14434
原创 逻辑学学习.6--- 命题逻辑（四）：推演的简单规则
前面开头就说过，逻辑学是一门以推论为主要研究对象的学科。一个推论的有效性取决于它的推论形式，而不取决于它的具体内容。 如何确定一个推论或推论形式是否有效是演绎逻辑所要研究的核心问题。前面讲了真值表方法，在命题逻辑中，判断命题推论的有效性的方法，其中之一是真值表方法，除了真值表方法外，还有一种很常用的方法就是演绎。推演方法的实质就是将一个复杂推论分解为若干简单推论。由于这些简单推论的有效性很明显...
2019-03-05 01:41:35
13536
1
原创 逻辑学学习.5--- 命题逻辑（三）：真值表
一个符号化了的真值函项复合命题无论多么复杂，不外乎就是有五个基本的真值函项联结词联结而成，由五个基本的真值特征表，我们可以构造任何复杂的真值函项复合命题的真值表。一个推论的有效性，等于它是一个重言蕴含式。∧∨¬→ ↔一，重言式，重言蕴含式命题举例1 ：重言式（P∧Q→R）↔（P→（Q→R））PQR（P∧Q→R）↔（P→（Q→R））11...
2019-03-04 19:13:33
17345
原创 逻辑学学习.4--- 命题逻辑（二）：符号化
一，命题的符号化用人为规定的符号表示一个命题命题举例：“你干这些工作或者我干这项工作”J表示“你干这项工作”K表示“我干这项工作””或者“ 是联结词，表示合取，用 ∧ 表示符号化 J∧K命题常项：用大写字母A到Z表示。命题常项表示命题的缩写。命题变项：用 p, q, r, s 表示。命题变项表示待填入具体的命题。逻辑学中的命题涉及的三层语言：自然语言命题符号语言命题...
2019-03-03 23:44:40
17115
3
原创 逻辑学学习.3--- 命题逻辑 （一）：基本概念
演绎逻辑研究的一个基本分支就是命题逻辑，命题逻辑以命题为最小单位。它主要是研究复合命题中的真值函项复合命题，怎样由简单命题推导出真值函项复合命题。
2019-03-03 21:11:47
4240
原创 逻辑学学习.2 --- 概念（二）：论证的基本规则，归谬法，二难推论
逻辑学是一门以推论为主要研究对象的学科。演绎推论就是具有必然性的推论，而归纳推理一般只有或然性。这里探讨的是演绎逻辑。一个推论的有效性取决于它的推论形式，而不取决于它的具体内容。当一个演绎推论的所有前提为真时，其结论必然为真，那么具有这样性质的推论就是有效的。如何确定一个推论或推论形式是否有效是演绎逻辑所要研究的核心问题。因此，演绎逻辑又叫做“形式逻辑”。
2019-03-02 23:33:07
5213
原创 逻辑学学习.1--- 概念（一）：词项命题和推论
- **推论的形式**。任何具体推论都有内容和形式两个方面。推论的内容就是推论所涉及的具体对象，**推论的形式就是推论所具有的共同结构**。因此这种逻辑学也叫做“**形式逻辑**”- 为什么要研究 **“形式逻辑”** ？ 因为一个推论的有效性取决于推论的形式而不取决于推论的内容。
2019-03-02 19:26:41
4880
原创 基本逻辑符号与数学符号列表
符号名字解说例子读作范畴→ 或 ⇒蕴含 implies/conditional/A → B 意味着如果 A 为真，则 B 也为真；如果 A 为假，则对 B 没有任何影响x=2x=2x=2 → x2=4x^2 =4x2=4为真，但 x2x^2x2 = 4 → x=2$一般为假蕴含；如果…那么命题逻辑↔ 或 ⇔等价A ↔ B 意味着 A 为真如果 B ...
2019-02-27 19:39:41
97366
3
原创 形式化语言的重要性
世界上的语言，总体来说，可分为三类：1.自然语言（比如英语和汉语）2.半形式化的语言（数学语言），即自然语言加特定的符号。3.形式化的语言（逻辑语言）半形式化语言任何一个数学分支的语言都是在自然语言的基础上附加一些特定的符号，它们与自然语言相比更具形式化。因此，称它为半形式化的语言。数学语言作为一种特定的符号语言，与自然语言相比，它与算法建立了联系。因此，它还具有“可操作性”。法国数学...
2019-02-26 23:16:59
6420
转载 人工智能已到瓶颈！ AI未来发展方向
AI泰斗张钹：AI最重要的能力是知识，而不是数据阿尔法狗打败围棋高手、索菲亚任你问答、无人车陆续量产，人工智能正日益为人类社会带来不可思议的改变。人工智能一方面在不断挑战人类的想象力，一方面又显得十分智障，人工智能呈现出两种不同的面貌。日前，中国科学院院士、清华大学人工智能研究院院长张钹发表了题为《人工智能产业化面临的挑战》的演讲，用AI的经典案例，阐述了人工智能的“特点”与“雷区”。以医疗...
2019-02-26 18:15:53
2548
原创 数学"命题"初步以及三角函数相关复习
一，什么叫做命题？可以判断真假的陈述句叫做命题。必须满足两个条件：1)陈述句，2)能判断真假真命题：结论为真假命题：结论为真命题的否定：只否定结论原命题：若p,则q逆命题：若q,则p否命题：若-p,则-q逆否命题：若-q,则-p（若p则q形式的命题，也是一种复合命题，其中的p与q，可以是命题，也可以是开语句，开语句：含有变量，无法确定真假的语句）充分条件和必要条件若p=&g...
2019-02-24 01:49:48
477
原创 关于“无穷”的概念---数学笔记“无穷”
“无穷”这个概念一般人都是既知道又不知道， 头脑里大体能想象，但是无法精确。但是对于数学这门学问来说，数学是研究精确性和确定性的学问。“无穷”首先来自于数学中的“数”，自然数就是有无穷多个，然后是实数，也是无穷多个，几何图形中，一条直线有无穷多个点。然而“无穷”对于数学来说，确像是一个无边无际的海洋，深不可测，又说不清楚。它既是一个数学问题，也上升为一个哲学问题。对于无穷问题的探讨，自古以来一直...
2019-01-25 01:16:26
6345
原创 家长究竟应不应该为了孩子买学区房？
家长究竟应不应该为了孩子买学区房？近年来，天价学区房不断刷屏，曾有一篇文章《再见北京》刷爆朋友圈，这位家长的心路历程在大量的中产家庭中引起轩然大波，这位爸爸也被网友亲切地称为“移民爸爸”。他说：我和孩子妈看了许久的学区房，房东竟趁火打劫、临时涨价。房子在西城一个老街、周围电线杆和电线密集到足可以栖息一整排信天翁，临近30年的房龄让整栋楼看起来就像邻居90岁的爷爷一样苍老，64平居然要500万...
2019-01-16 10:09:56
1701
转载 东西方文化心理结构的比较：两极与中间
东西方民族文化结构和民族心理结构，西方感性有酒神，理性有日神，感性是体育，理性是科学。从某种意义来讲，数学是全部自然科学的基础和前提，而证明式演绎推论基础上的数学，则是毕达哥拉斯等人创立的。我们知道，几何学上勾股定理一直被人们称之为毕达哥拉斯定论，就连数学这个词也是由毕达哥拉斯学派最先使用的。然而在历史上，所谓毕达哥拉斯学派不仅是一个学术团体，而且是一个宗教团体。 大家知道，很多宗教都有禁忌，有...
2019-01-16 00:32:56
1305
原创 古希腊的"日神"与"酒神"
西方文明的源头是古希腊文化。古希腊社会有两种宗教精神，“日神”与“酒神”两种对立的精神。“日神精神”源自阿波罗（Apollo）崇拜。“酒神精神”源自狄俄尼索斯（Dionysus）崇拜。大体说来，阿波罗(Apollo) 和狄俄尼索斯(Dionysus) 的宗教崇拜都是父系社会后期、氏族制度解体、文明时代诞生这一历史过程的产物。相比较而言，狄俄尼索斯的崇拜可能更早一些，因为它的仪式中明显地表现...
2019-01-15 23:50:30
13357
原创 古典概型计算概率：钥匙乱序问题(Derangement)
【古典概型计算概率：乱序问题(Derangement)】【钥匙乱序】有外形相同的n把锁和n把钥匙，每把钥匙只能打开其中的一把锁，现将锁和钥匙随机配对，每对锁和钥匙各一把，试求至少有一把锁能被所配对钥匙打开的概率。注意，同样是配对问题，与选择手套问题不同的是，手套问题可以只选部分，本题是全选，全排序，全乱序。至少有一把锁能配对 = 有一把锁能配对 + 有两把锁能配对 +… + 有n把锁能配...
2018-11-01 22:29:29
6988
转载 古希腊就有象形文字为什么西方人却用字母文字？
东西方文字差异非常大，我们知道中国的汉字是一种表意的语言体系，而西方的文字则是由拼音字母构成的这样一种表音的语言的体系。它们之间有什么差别？为什么在中国形成不了像西方那样一种字母表述体系呢？中国汉字的特点我们可以追溯到远古时代，那是一个农耕文明的土地，离大海很远，多是平原和丘陵，环境相对比较平和安详，人们生活的状态比较稳定。人们在生活工作的过程中，需要通过语言来交流，需要通过一种载体来传达语言表...
2018-10-04 10:26:52
5404
原创 日常实用英语表达个人总结（1）
上班，下班 go to work , get off work上学，放学 go to school , get off school上课，下课 go to class, get off class上车，下车 get on bus/train/plane, get off bus睡觉，起床 go to bed , get up去教堂（做弥撒）go to ...
2018-09-29 19:20:00
3129
6
原创 常见生活实用英语个人总结
当想跟陌生人搭话对不起，打扰一下。 Excuse me!（如果想帮助别人）需要我帮忙吗？ May I help you?如果你听到别人喊你，或者对你说Excuse me!回答：Yes?（升调。表示引起注意）没听清，请对方再说一遍 Parden?（升调）（如果想请别人帮助，比如问路）我可以问你一个问题吗？ May I ask you a question?到自由女神像怎...
2018-09-23 16:56:03
2906
原创 英语常用九种时态记忆要点
英语的时态是英语的难点，可是比汉语难多了，尤其对我们中国人，口语中不知道用什么时态，如果是写文章还好，可以慢慢斟琢，但是口语就会反应不过来。雅思口语考试常用到的时态有一般现在时、一般过去时、一般将来时、现在进行时、过去进行时、过去将来时、现在完成时、过去完成时、现在完成进行时。（一）一般现在时一.概念表经常性习惯性发生的动作或存在的状态。二. 结构：1.主语+ be +其它（be动词用法...
2018-09-22 13:08:27
5611
原创 国外真实情景，英语日常口语提示
国外真实情景，英语口语提示1.英文的问句，不管提问题的人如何发问，要针对事实回答，不管是肯定疑问和否定疑问 只回答事实，不回答是否同意提问人的问题。 NCE-1 例句,Lesson 91,P185 CATHERINE: Poor Ian! He didn’t want to leave this house. JANNY...
2018-09-11 14:03:30
1252
转载 真相（truth）最可怕的敌人不是谎言（lie），而是神话（myth）
唐浩明点评曾国藩家书写书评，书评名：真相（truth）最可怕的敌人不是谎言（lie），而是神话（myth） “自官江吏以来，一二十五年，惟在晋两年公事较简。此外无日不在荆天棘地之中。大抵所办之事，皆非政府意中欲办之事；所用之钱，皆非本省固有之钱；所用之人，皆非心悦诚服之人。总之，不外《中庸》“勉强而行”四字。然所办各事，亦颇有竟睹成功者，真侥幸也。”——张之洞 ...
2018-09-10 10:26:57
1362
原创 英文佳句欣赏 Appreciating the English sentences
把简单的事情做彻底，把平凡的事情做经典，把每一件小事都做得更加精彩。英文佳句欣赏Appreciating the English sentencesIf you shed tears when you miss the sun, you also miss the stars.如果你还在因错过太阳而落泪，那么你也会错过繁星 —-Togore ...
2018-08-22 08:42:00
706
原创 英语音变的几点总结
英语音变几个小点idiom：A little pot is soon hot.1. 清辅音变浊辅音1) 以[t] 结尾单词碰上以元音开头单词，发音有变。如[t]-[d] What a nice surprise.[’wɔ-də] What about going to a movie? [’wɔ-də’bau gəuin]2) 两个元音中间的[t] 要浊化成[d]，例如be...
2018-08-17 17:53:31
4312
转载 雅思口语想考7分，到底该说英音还是美音
在雅思口语考试中 英音和美音到底会不会影响我们的口语成绩 具体区别有哪些英国人好像一贯有点瞧不起美国英语： 虽然不是女王本人所说（上图是个高仿号，并不是真·英国女王），但戏谑也来源于生活，应该多少能够代表一部分人的想法。于是有一些美剧资深粉丝可能就会担心了：在雅思口语考试里，说美式英语会影响得分吗？美式英语是否会影响雅思成绩当然不会了！作为一门世界性的语言考试，这点胸襟还是要...
2018-07-23 12:02:05
5750
转载 英语连读 Word Connections
你会正确地读以下单词么：feel, fool, heal, wheel, …你会正确地读以下词组 么：I am, s/he is, I always, too often, …如果你不会正确发音，那么你需要学习 连读规则；如果你能够正确发音，但不知道原因，那你更需要学习连读规则——今天，我就模仿赵老湿，来讲一讲英语口语中的连读。 “连读”在英语中叫Word Connections，借...
2018-07-18 08:50:48
1418
原创 英语--日常生活名词收集 Daily Life Nouns Collection
1.教室 classroom 1.public-address speaker 广播 2.map 地图 3.chalkboard/blackboard 黑板 4.class schedule 课表 5.organ 管风琴 6.global 地球仪 7.eraser 黑板檫 8.chalk 粉笔 9.shoe rack / shoe cabinet 鞋架/鞋柜 10....
2018-06-25 09:00:37
9288
原创 英语-地理名 Geographic Name
一。七大洲 Seven Continents洲名n. 大部分以 ‘-a’ 结尾，地方和人加后缀 -an -an Suffix表名词和形容词，表示 “…地方的”， “…地方的人” noun. adj, people, peop adj Europe n./jʊrəp/ European /ˌjʊrə’piːən/ America (North...
2018-06-21 12:29:05
448
原创 数字听力Numbers Listening
英文数字是听力的一大难关，我对数字11~99的双位数不敏感。0~99是基本数，上去会有hundred，thousand，million，billion，所以训练 0~99的敏感度是关键 。 下面几篇文章是关于英文数字大全。一。 零的读法有好几种 zero, Oh(电话号码0，小数点0), 2.05 : two point nought five; two point O fiv...
2018-06-12 09:50:31
7823
2
原创 英语学习计划和方法 English learning plans and methods
英语的重要性不用多说，即使对于一个码农来说，也是很重要的，它是一个人的门面，决定了一个人的档次和视野，最简单的，你能否听懂网络公开课，你能否给国外客户介绍你的产品？ The importance of English is not to be said much ，even for a code farmer，it also is very importance, it’s the face o...
2018-06-06 10:33:44
2209
原创 英语读音（四）--自然拼读法 Phonics --- 最常见字母发音 /The pronounciation of most common letters
元音难，元音难，最难莫过于’o’, ‘a’, 发音混淆，组合多多。 vowel is difficult, vowel is hard, the toughest/’tʌfist/ must be ‘o’, ‘a’, pronouncing is easy to confuse ,and there are a lot of combinations.1.短元音对应一个元音字母的概率最大 ...
2018-05-16 23:08:23
5389
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人