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