自然演繹法

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