作者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/m.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