Back Κωδικοποίηση Τσερτς Greek Church encoding English کدگذاری چرچ Persian Booleano di Church Italian Liczby naturalne Churcha Polish Codificação de Church Portuguese Кодирование Чёрча Russian 邱奇数 Chinese
Unter Church-Kodierung versteht man die Einbettung von Daten und Operatoren in den Lambda-Kalkül. Die bekannteste Form sind die Church-Numerale, welche die natürlichen Zahlen repräsentieren. Benannt sind sie nach Alonzo Church, der Daten als Erster auf diese Weise modellierte.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search