【邱池整數】
<P align=center><STRONG><FONT size=5>【<FONT color=red>邱池整數</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：Churchinteger</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>指由λ演算發明者AlonzoChurch所提出以函數方式表示的整數。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>在λ演算中無常數，而以邱池整數表示數目一個已知邱池整數的轉回函數可表示如下：churchn＝c若n＝0cfx＝x否則cfx＝c'f（fx）而c'＝church（n－1）。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>另外unchurchc＝c（＋1）0係將邱池整數換為一般整數的函數。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]