1. 首页
  2. 问答
  3. 证明及物哈斯克尔语义

证明及物哈斯克尔语义

2016-08-14 57 views
1

我学习Haskell的语义，并在那里我碰到这个问题就来了：证明及物哈斯克尔语义

enter image description here

我已经尝试过了，但仍无法断定答案。如果有人向我解释如何证明这一点，那将会很棒。谢谢。

来源

2016-08-14 Waqar Ahmed

+6

我因为这不是一个编程问题，所以投票结束这个问题作为题外话题。 – Renzo

+0

@Renzo你能告诉我那么问这种问题吗？谢谢 –

+0

您可以尝试http://cs.stackexchange.com或http://math.stackexchange.com – Renzo

回答

1

  1. 只是一个草图 - >由于PN（一个或多个），用于固定n是射NINF - > N，即整数集成整数，这证明可以利用该关系为证明被简化整数的传递性

  2. [1,0,0 ..] - > [2,0,0 ..] - > [3,0,0 ..] - > ...
    我相信你可以找到更有趣的一个

来源

2016-08-14 07:59:28

+0

你可以请解释一下，你如何找到链条。 –

+0

pn（[x，0,0 ..]）== x对于任何n。如果链x-es满足传递性，也可以设置X-es链。 –

+0

谢谢你，但我没有得到它，怎么pn（x，0,0,0 ..）？ ，你如何得出这个结论。你能解释一下吗，因为我仍然在为这个问题而努力。 –

相关问题

 相关问题