作者CyCls (CyCls)
看板logic
標題自然演繹法
時間Mon Apr 13 22:45:32 2015
不知如何做起...
http://i.imgur.com/awA7LTB.jpg
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.4.176
※ 文章網址: https://webptt.com/m.aspx?n=bbs/logic/M.1428936335.A.BDD.html
※ 編輯: CyCls (140.112.4.176), 04/13/2015 22:47:33
1F：推 Yures: 同學你好，請別直接波文問作業該怎麼寫喔。 04/13 23:05
2F：推 Yures: 對於作業感覺疑惑，我建議你直接寄信問助教比較恰當。 04/13 23:10
3F：→ Yures: 直接波文討答案拿作業 10% 沒什麼幫助的，畢竟下週期中考試 04/13 23:11
4F：→ Yures: 可是佔 40% 喔。與其討答案，不如好好搞懂該怎麼寫比較好。 04/13 23:12
5F：→ Yures: 而且這次作業這幾個定理都是助教按照老師出題習慣設計的。 04/13 23:13
6F：→ Yures: 你不好好搞懂，到時候考試可是很吃力的喔。:) 04/13 23:14
7F：→ CyCls: 好吧... 感謝 04/13 23:16
8F：推 Yures: 另外，寫信詢問的時候請詳述自己哪邊不理解，這樣助教比較 04/13 23:23
9F：→ Yures: 方便提供適切的協助。如果你只是說自己不理解，助教很難幫 04/13 23:25
10F：→ Yures: 忙的；畢竟助教並不懂讀心術喔。:) 04/13 23:25
11F：→ teves: www 助教馬上來推文嗎XD 04/15 16:35
12F：推 suhorng: 釣到助教wwww 04/15 17:28
13F：→ suhorng: 1. λf. (λx. f (left x), λx. g (right x)) 04/15 17:29
14F：→ suhorng: 2. λf. (λx. fst (f x), λx. snd (f x)) 04/15 17:30
15F：→ suhorng: 3. λf. λp. f (fst p) 04/15 17:30
16F：→ suhorng: (逃) 04/15 17:30