[理工] 清大109 計科

看板Grad-ProbAsk作者 (Mistel)時間5年前 (2020/02/05 20:33), 5年前編輯推噓18(18推 0噓 35→)
留言53則, 15人參與, 5年前最新討論串1/1
想訂正個今天考的東西 https://i.imgur.com/HOQW241.jpg
https://i.imgur.com/dG3jW9h.jpg
請問這張第一題該怎麼寫 我根據題目的hint寫了第一個，但我一直在想為什麼不是第二個 ？ 不是所有敘述都相反嗎？ 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.71.118.138 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1580905980.A.2C0.html
推
02/05 20:41, 5年前 , 1F
同樣疑問 推
02/05 20:41, 1F
→
02/05 20:52, 5年前 , 2F
完了 會不會被hint搞了
02/05 20:52, 2F
※ 編輯: mistel (111.71.118.138 臺灣), 02/05/2020 20:52:54
推
02/05 20:56, 5年前 , 3F
我的想法是存在跟for all後面跟著的那個statement
02/05 20:56, 3F
→
02/05 20:56, 5年前 , 4F
不用改
02/05 20:56, 4F
→
02/05 21:00, 5年前 , 5F
請問為什麼不用改？ 我查子嘉題目那些statement都有...
02/05 21:00, 5F
推
02/05 21:01, 5年前 , 6F
簡化一下就是：如果存在A屬於L的反命題，會不會是對所
02/05 21:01, 6F
→
02/05 21:01, 5年前 , 7F
有A不屬於L?
02/05 21:01, 7F
→
02/05 21:02, 5年前 , 8F
他會特別寫個hint，代表沒被另外括出來的整個是一個條
02/05 21:02, 8F
→
02/05 21:02, 5年前 , 9F
件吧
02/05 21:02, 9F
→
02/05 21:03, 5年前 , 10F
例如上面的S的for any指的是所有長度>=m的string
02/05 21:03, 10F
→
02/05 21:03, 5年前 , 11F
而不是指所有的string的長度都>=m
02/05 21:03, 11F
所以R大的見解是沒有另外挖空的那些是集合的條件，而不是statement，對嗎？
推
02/05 21:05, 5年前 , 12F
感覺大概可以用這個例子來說明？例如 清大學生中 存
02/05 21:05, 12F
→
02/05 21:05, 5年前 , 13F
在一個人計科考一百分 的相反是 清大學生中所有人
02/05 21:05, 13F
→
02/05 21:05, 5年前 , 14F
的計科都不考一百分 你不會把清大學生改成清大以外
02/05 21:05, 14F
→
02/05 21:05, 5年前 , 15F
的學生
02/05 21:05, 15F
推
02/05 21:10, 5年前 , 16F
可以說是用來描述要討論的對象的那些statement不用
02/05 21:10, 16F
→
02/05 21:10, 5年前 , 17F
取相反？像是題目一開始的 存在integer m 也不是改
02/05 21:10, 17F
→
02/05 21:10, 5年前 , 18F
成for all non-integer m
02/05 21:10, 18F
推
02/05 21:13, 5年前 , 19F
02/05 21:13, 19F
推
02/05 21:17, 5年前 , 20F
我寫錯了T_T
02/05 21:17, 20F
※ 編輯: mistel (111.71.118.138 臺灣), 02/05/2020 21:34:56
→
02/05 21:52, 5年前 , 21F
我的意思其實跟gash一樣，只是那應該不叫statement，但
02/05 21:52, 21F
→
02/05 21:53, 5年前 , 22F
總之整個合起來是敘述範圍的
02/05 21:53, 22F
推
02/05 21:53, 5年前 , 23F
借問一下 有人會今天計科最後一題嗎
02/05 21:53, 23F
→
02/05 21:55, 5年前 , 24F
計科最後好像三題都找得到例子 不用證明
02/05 21:55, 24F
推
02/05 21:59, 5年前 , 25F
我原本也寫原po那樣 後來才照著hint改 本來想說有空回
02/05 21:59, 25F
→
02/05 21:59, 5年前 , 26F
頭想 結果差點寫不完==
02/05 21:59, 26F
推
02/05 22:13, 5年前 , 27F
原來啊...我空白 完了
02/05 22:13, 27F
→
02/05 22:13, 5年前 , 28F
各位請問一下 原文的解答要去哪找呀
02/05 22:13, 28F
→
02/05 22:14, 5年前 , 29F
剛剛想想，那部份叫statement好像也對
02/05 22:14, 29F
→
02/05 22:18, 5年前 , 30F
如果真的這種描述範圍的方式當作statement而去全部否定
02/05 22:18, 30F
→
02/05 22:19, 5年前 , 31F
也會得到同樣結果，因為for any跟exist處理範圍敘述的
02/05 22:19, 31F
→
02/05 22:19, 5年前 , 32F
方法剛好相反 剛剛查wiki的結論
02/05 22:19, 32F
→
02/05 22:20, 5年前 , 33F
02/05 22:20, 33F
→
02/05 22:20, 5年前 , 34F
裡面Equivalent expressions這一節有寫到等價的敘述
02/05 22:20, 34F
→
02/05 22:21, 5年前 , 35F
其中if P then Q這個敘述被否定就會變 P and ~Q
02/05 22:21, 35F
推
02/05 22:25, 5年前 , 36F
原來還有這層道理xd太猛了
02/05 22:25, 36F
推
02/05 22:26, 5年前 , 37F
所以兩種寫法都是對的嗎
02/05 22:26, 37F
→
02/05 22:29, 5年前 , 38F
沒有啊，只有上面是對的，因為它寫法應該只能解釋為是
02/05 22:29, 38F
→
02/05 22:29, 5年前 , 39F
敘述範圍
02/05 22:29, 39F
推
02/05 22:35, 5年前 , 40F
上面最後面不屬於L也對嗎？
02/05 22:35, 40F
→
02/05 22:36, 5年前 , 41F
我以為屬於L部分都不會動到
02/05 22:36, 41F
→
02/05 22:38, 5年前 , 42F
因為那部份是前面quantifier在修飾的statement，所以是
02/05 22:38, 42F
→
02/05 22:39, 5年前 , 43F
會變全部否定的
02/05 22:39, 43F
→
02/05 23:13, 5年前 , 44F
感謝！
02/05 23:13, 44F
推
02/05 23:38, 5年前 , 45F
順便問一下 VLIW那邊跑一次的cycle是多少啊?
02/05 23:38, 45F
推
02/05 23:59, 5年前 , 46F
我第一題好像寫9 但不確定
02/05 23:59, 46F
推
02/06 00:27, 5年前 , 47F
計科最後題目是啥去了？
02/06 00:27, 47F
→
02/06 00:44, 5年前 , 48F
我是寫7 不過當時太混亂無法確定 最後還是擦掉了
02/06 00:44, 48F
→
02/06 00:45, 5年前 , 49F
cache那個我記得滿後面的 不過不知道到底第幾題
02/06 00:45, 49F
→
02/06 07:36, 5年前 , 50F
我也寫7不過心態炸了亂寫 應該沒那麼簡單?
02/06 07:36, 50F
推
02/06 09:37, 5年前 , 51F
我寫9
02/06 09:37, 51F
推
02/06 14:26, 5年前 , 52F
我數8欸
02/06 14:26, 52F
→
02/06 14:51, 5年前 , 53F
8是怎麼算的？
02/06 14:51, 53F
‣ 更多 mistel 的文章
文章代碼(AID): #1UEhNyB0 (Grad-ProbAsk)