作者SanderLee (philosopher)
看板logic
标题[请益] 关系述词是大家的瓶颈吗？
时间Mon Jun 12 18:22:57 2006
板上讨论题目都蛮热烈的
对於比较盖括性的问题似乎比较没有意见...
近来念述词逻辑
念到关系述词逻辑的翻译觉得很痛苦
怎麽翻都不对
请为各位先进
以您的经验
是否能给些建议呢？
语句逻辑变的好简单
述词逻辑好像怪物一样
已经重复了两次
看到述词逻辑尤其是关系述词的语句翻译部分还是避之唯恐不及
证明还好
就纯粹是述词逻辑的翻译
或是关系述词的翻译
有没有什麽经验分享呢
有没有什麽规则可循？
有没有题目与解答都很多的资料可以找寻？
谢谢。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.73.6.166
※ 编辑: SanderLee 来自: 203.73.6.166 (06/12 18:23)