6
00:00:21,930 --> 00:00:25,450
我们尝试以一个更深的

7
00:00:25,460 --> 00:00:27,170
或者更基本的角度

8
00:00:28,410 --> 00:00:32,760
来思考建模的问题

9
00:00:37,630 --> 00:00:42,470
首先，我们来说一个观点，就是说

10
00:00:42,920 --> 00:00:46,880
我们希望，不管是做事情也好，建模也好

11
00:00:47,010 --> 00:00:47,840
其他一样

12
00:00:48,290 --> 00:00:50,730
如果一个东西有太多的技巧

13
00:00:51,450 --> 00:00:54,450
花招、诀窍什么之类的

14
00:00:55,590 --> 00:00:57,340
很可能是有问题

15
00:00:59,890 --> 00:01:01,870
如果你这个方法是对的

16
00:01:02,240 --> 00:01:04,150
不应该有这么多技巧才对

17
00:01:05,180 --> 00:01:07,190
它应该是普遍适用的

18
00:01:08,420 --> 00:01:12,140
如果有太多的这种例外技巧之类的

19
00:01:13,040 --> 00:01:19,770
可能我们还没有找到本质的解决方法

20
00:01:21,270 --> 00:01:24,020
之前我们讲到分析设计高阶的时候

21
00:01:24,270 --> 00:01:25,500
也举过例子

22
00:01:25,830 --> 00:01:29,570
地心说、日心说

23
00:01:30,340 --> 00:01:33,590
地心说为什么打这么多补丁

24
00:01:33,910 --> 00:01:35,450
要讲这么多技巧

25
00:01:36,200 --> 00:01:38,120
因为他那个公式就不对的

26
00:01:39,220 --> 00:01:40,330
模型不对的

27
00:01:41,690 --> 00:01:44,470
如果把它变成围绕着太阳来旋转

28
00:01:46,200 --> 00:01:48,140
那一切都变成简单了

29
00:01:48,150 --> 00:01:50,620
对不对

30
00:01:53,790 --> 00:01:55,530
这个课程第1部分

31
00:01:56,340 --> 00:01:59,970
我们先来重温一下基本的理论

32
00:02:01,120 --> 00:02:04,790
实际上就是信息专业，或计算机

33
00:02:05,770 --> 00:02:08,370
或者软件专业的基础课程

34
00:02:09,690 --> 00:02:10,970
它可能分为很多门

35
00:02:10,980 --> 00:02:15,520
也可能就整在一门里面，就叫离散数学

36
00:02:15,530 --> 00:02:18,980
也可能分更专业的分好几门来上

37
00:02:19,690 --> 00:02:23,770
一个是逻辑，或者叫数理逻辑

38
00:02:24,360 --> 00:02:25,240
一个集合论

39
00:02:25,830 --> 00:02:27,360
一个是关系代数

40
00:02:30,520 --> 00:02:33,790
我们先来把一些基本要点

41
00:02:35,670 --> 00:02:37,750
基本理论、基本要点把它过一下

42
00:02:38,270 --> 00:02:43,280
然后我们再进入建模的讲解

43
00:02:44,620 --> 00:02:48,780
首先第一个要重温的基本的知识

44
00:02:48,790 --> 00:02:50,260
就是逻辑的问题

45
00:02:51,430 --> 00:02:54,270
因为后面我们很多都是要

46
00:02:54,280 --> 00:02:56,590
用这个逻辑表达式来表达

47
00:02:56,680 --> 00:02:57,270
对不对

48
00:02:58,020 --> 00:03:03,260
不变式，还有各种各样的思考

49
00:03:03,270 --> 00:03:05,060
都需要用逻辑来表达

1
00:00:00,950 --> 00:00:02,950
第一个知识点，命题

2
00:00:04,010 --> 00:00:09,140
英文proposition 

3
00:00:09,150 --> 00:00:10,740
命题就是一个陈述句

4
00:00:12,070 --> 00:00:13,690
它要么为真要么为假

5
00:00:15,130 --> 00:00:19,500
比如说，16的平方跟是3，假命题

6
00:00:20,810 --> 00:00:23,800
苍井空老师的生日是双11

7
00:00:24,850 --> 00:00:25,920
这是一个真命题

8
00:00:31,110 --> 00:00:32,270
陈述句

9
00:00:32,280 --> 00:00:37,770
表达了它认为的事情

10
00:00:38,590 --> 00:00:40,090
可以判断是真是假的

11
00:00:42,040 --> 00:00:43,830
下面这些就不是命题了

12
00:00:43,840 --> 00:00:46,630
x的平方根是3

13
00:00:47,950 --> 00:00:49,060
这个你说是真是假

14
00:00:50,070 --> 00:00:51,890
因为x是变量

15
00:00:52,810 --> 00:00:53,840
没有定

16
00:00:54,920 --> 00:00:55,500
不知道

17
00:00:57,220 --> 00:00:58,650
第二个是一个问题

18
00:00:59,500 --> 00:01:03,080
不是陈述句，问苍井空老师的生日是哪一天

19
00:01:04,860 --> 00:01:06,250
这个不是陈述句

20
00:01:07,730 --> 00:01:12,080
你不能回答是否，不讲武德

21
00:01:12,910 --> 00:01:16,000
就不是陈述句了，因为它没有主语

22
00:01:16,780 --> 00:01:17,230
对不对

23
00:01:17,800 --> 00:01:18,690
谁不讲武德

24
00:01:19,940 --> 00:01:22,540
马老师不讲武德，这个可以

25
00:01:22,750 --> 00:01:23,780
不讲武德不行

26
00:01:26,910 --> 00:01:29,080
这是第一个概念