rachunek λ,
mat. formalizm wprowadzony w latach 30. XX w. przez A. Churcha, pozwalający definiować funkcje mat. oraz obliczać ich wartości.
Zgłoś uwagę
UWAGA: Po wysłaniu zgłoszenia, otrzymasz wiadomość mailową z prośbą o jego potwierdzenie.
rachunek λ
Encyklopedia PWN
zgłoś uwagę