回答
只是一个草图 - >由于PN(一个或多个),用于固定n是射NINF - > N,即整数集成整数,这证明可以利用该关系为证明被简化整数的传递性
[1,0,0 ..] - > [2,0,0 ..] - > [3,0,0 ..] - > ...
我相信你可以找到更有趣的一个
你可以请解释一下,你如何找到链条。 –
pn([x,0,0 ..])== x对于任何n。如果链x-es满足传递性,也可以设置X-es链。 –
谢谢你,但我没有得到它,怎么pn(x,0,0,0 ..)? ,你如何得出这个结论。你能解释一下吗,因为我仍然在为这个问题而努力。 –
- 1. 哈斯克尔:定义解释语言
- 2. 哈斯克尔 - case语句
- 3. 哈斯克尔IF语句
- 4. 哈斯克尔
- 5. 在哈斯克尔
- 6. 在哈斯克尔
- 7. Control.Monad.State哈斯克尔
- 8. 在哈斯克尔
- 9. 在哈斯克尔
- 10. 哈斯克尔 - 在数据声明
- 11. 哈斯克尔 - 布尔RoseTree
- 12. 哈斯克尔做语法和I/O
- 13. 哈斯克尔 - 类型定义
- 14. 哈斯克尔背包
- 15. 哈斯克尔 - 给功能
- 16. 哈斯克尔safecopy例如
- 17. 合并树哈斯克尔
- 18. {}在.cabal在哈斯克尔
- 19. 哈斯克尔计算器
- 20. 如何哈斯克尔
- 21. 哈斯克尔 - 阵列
- 22. 哈斯克尔暧昧型
- 23. 哈斯克尔LAMBDA倍
- 24. 显示树哈斯克尔
- 25. 哈斯克尔:地图runST
- 26. 牌西服哈斯克尔
- 27. 哈斯克尔调试
- 28. 哈斯克尔的MonadThrow
- 29. 哈斯克尔列表
- 30. 河内哈斯克尔塔
我因为这不是一个编程问题,所以投票结束这个问题作为题外话题。 – Renzo
@Renzo你能告诉我那么问这种问题吗?谢谢 –
您可以尝试http://cs.stackexchange.com或http://math.stackexchange.com – Renzo