Get Babylon's Translation Software!
Free Download Now!
| Wikipedia Nederlands De vrije encyclopedie | Download dit woordenboek |
Lambdacalculus
De lambdacalculus is een model van berekening dat in 1936 geïntroduceerd werd door Alonzo Church en Stephen Kleene in hun speurtocht naar de limieten van de berekenbaarheid. In de informatica vormt het de basis voor functionele programmeertalen.We onderscheiden twee vormen van lambdacalculus: de getypeerde lambdacalculus en de (oudere) ongetypeerde lambdacalculus. In eerste instantie zullen we de ongetypeerde lambdacalculus en haar rol binnen de informatica beschrijven, daarna de moeilijkheden die binnen dit systeem bestaan en tenslotte de getypeerde varianten bespreken.
Zie meer op Wikipedia.org...
Dit artikel maakt gebruik van materiaal uit Wikipedia® en valt onder de GNU Vrije Documentatie Licentie
| Technisch E-NL Woordenboek | Download dit woordenboek |