rachunek λ
 
Encyklopedia PWN
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ę
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia