作者mistel (Mistel)
看板Grad-ProbAsk
标题[理工] 清大109 计科
时间Wed Feb 5 20:32:58 2020
想订正个今天考的东西
https://i.imgur.com/HOQW241.jpg
https://i.imgur.com/dG3jW9h.jpg
请问这张第一题该怎麽写 我根据题目的hint写了第一个，但我一直在想为什麽不是第二个
？
不是所有叙述都相反吗？
谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 111.71.118.138 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1580905980.A.2C0.html
1F：推 oepop: 同样疑问 推02/05 20:41
2F：→ ok8752665: 完了 会不会被hint搞了02/05 20:52
※ 编辑: mistel (111.71.118.138 台湾), 02/05/2020 20:52:54
3F：推 gash55025502: 我的想法是存在跟for all後面跟着的那个statement02/05 20:56
4F：→ gash55025502: 不用改02/05 20:56
5F：→ mistel: 请问为什麽不用改？ 我查子嘉题目那些statement都有...02/05 21:00
6F：推 Aa841018: 简化一下就是：如果存在A属於L的反命题，会不会是对所02/05 21:01
7F：→ Aa841018: 有A不属於L?02/05 21:01
8F：→ Ricestone: 他会特别写个hint，代表没被另外括出来的整个是一个条02/05 21:02
9F：→ Ricestone: 件吧02/05 21:02
10F：→ Ricestone: 例如上面的S的for any指的是所有长度>=m的string02/05 21:03
11F：→ Ricestone: 而不是指所有的string的长度都>=m02/05 21:03
所以R大的见解是没有另外挖空的那些是集合的条件，而不是statement，对吗？
12F：推 gash55025502: 感觉大概可以用这个例子来说明？例如 清大学生中 存02/05 21:05
13F：→ gash55025502: 在一个人计科考一百分 的相反是 清大学生中所有人 02/05 21:05
14F：→ gash55025502: 的计科都不考一百分 你不会把清大学生改成清大以外 02/05 21:05
15F：→ gash55025502: 的学生 02/05 21:05
16F：推 gash55025502: 可以说是用来描述要讨论的对象的那些statement不用02/05 21:10
17F：→ gash55025502: 取相反？像是题目一开始的 存在integer m 也不是改02/05 21:10
18F：→ gash55025502: 成for all non-integer m02/05 21:10
20F：推 yang20913: 我写错了T_T02/05 21:17
※ 编辑: mistel (111.71.118.138 台湾), 02/05/2020 21:34:56
21F：→ Ricestone: 我的意思其实跟gash一样，只是那应该不叫statement，但 02/05 21:52
22F：→ Ricestone: 总之整个合起来是叙述范围的 02/05 21:53
23F：推 chiuchang: 借问一下 有人会今天计科最後一题吗 02/05 21:53
24F：→ gash55025502: 计科最後好像三题都找得到例子 不用证明 02/05 21:55
25F：推 tjltd2000: 我原本也写原po那样 後来才照着hint改 本来想说有空回 02/05 21:59
26F：→ tjltd2000: 头想 结果差点写不完== 02/05 21:59
27F：推 chiuchang: 原来啊...我空白 完了 02/05 22:13
28F：→ chiuchang: 各位请问一下 原文的解答要去哪找呀 02/05 22:13
29F：→ Ricestone: 刚刚想想，那部份叫statement好像也对 02/05 22:14
30F：→ Ricestone: 如果真的这种描述范围的方式当作statement而去全部否定 02/05 22:18
31F：→ Ricestone: 也会得到同样结果，因为for any跟exist处理范围叙述的 02/05 22:19
32F：→ Ricestone: 方法刚好相反 刚刚查wiki的结论 02/05 22:19
34F：→ Ricestone: 里面Equivalent expressions这一节有写到等价的叙述 02/05 22:20
35F：→ Ricestone: 其中if P then Q这个叙述被否定就会变 P and ~Q 02/05 22:21
36F：推 gash55025502: 原来还有这层道理xd太猛了 02/05 22:25
37F：推 poopooShaw: 所以两种写法都是对的吗 02/05 22:26
38F：→ Ricestone: 没有啊，只有上面是对的，因为它写法应该只能解释为是 02/05 22:29
39F：→ Ricestone: 叙述范围 02/05 22:29
40F：推 Aa841018: 上面最後面不属於L也对吗？ 02/05 22:35
41F：→ Aa841018: 我以为属於L部分都不会动到 02/05 22:36
42F：→ Ricestone: 因为那部份是前面quantifier在修饰的statement，所以是 02/05 22:38
43F：→ Ricestone: 会变全部否定的 02/05 22:39
44F：→ mistel: 感谢！ 02/05 23:13
45F：推 DLHZ: 顺便问一下 VLIW那边跑一次的cycle是多少啊? 02/05 23:38
46F：推 gash55025502: 我第一题好像写9 但不确定 02/05 23:59
47F：推 achicn3: 计科最後题目是啥去了？ 02/06 00:27
48F：→ DLHZ: 我是写7 不过当时太混乱无法确定 最後还是擦掉了 02/06 00:44
49F：→ DLHZ: cache那个我记得满後面的 不过不知道到底第几题 02/06 00:45
50F：→ cutearia: 我也写7不过心态炸了乱写 应该没那麽简单? 02/06 07:36
51F：推 a9778875: 我写9 02/06 09:37
52F：推 Justapig: 我数8欸 02/06 14:26
53F：→ mistel: 8是怎麽算的？ 02/06 14:51