1. 首頁
  2. 問答
  3. 證明及物哈斯克爾語義

證明及物哈斯克爾語義

2016-08-14 62 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 ..）？ ，你如何得出這個結論。你能解釋一下嗎，因爲我仍然在爲這個問題而努力。 –

相關問題

 相關問題