rachunek lambda 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np. definicja liczb naturalnych, wartości logicznych, itd.
Przykłady
- 1.Ponieważ każdy kombinator ma bardzo prostą interpretację w rachunku lambda, badania rachunku kombinatorów są zwykle częścią badań nad rachunkiem lambda.
- 2.Rachunek lambda, opracowany przez Alonzo Church i Stephena Cole Kleene w latach 30. XX wieku, jest uważany przez niektórych za pierwszy na świecie język programowania, mimo że miał on służyć jedynie modelowaniu obliczeń matematycznych, a nie programistom do opisywania algorytmów w systemach informatycznych.
