File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
lambdacalculus
Sign in to saveAlso known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
een formeel systeem in de logische rekenkunde
Wikidata facts
- Instance of
- mathematical model
- Subclass of
- formal system
- Part of
- theory of computation
- Named after
- Λ
- Image
- Un terme avec liens version 2.png
- Has use
- model of computation
Show 6 more facts
- discoverer or inventor
- Alonzo Church
- topic's main category
- Category:Lambda calculus
- Commons category
- Lambda calculus
- has characteristic
- Turing completeness
- Stack Exchange tag
- stackoverflow.com/tags/lambda-calculus
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Nederlands
De lambdacalculus, soms ook als λ-calculus geschreven, is een formeel systeem dat in de wiskunde en theoretische informatica wordt gebruikt om het definiëren en uitvoeren van berekenbare functies te onderzoeken. Hij werd in 1936 door Alonzo Church en Stephen Kleene geïntroduceerd als onderdeel van hun onderzoek naar de grondbeginselen van de wiskunde, maar wordt tegenwoordig vooral gebruikt bij het onderzoeken van berekenbaarheid. De lambdacalculus kan worden gezien als een soort minimale programmeertaal die in staat is elk algoritme te beschrijven. De lambdacalculus is turingvolledig en vormt de basis van het paradigma voor functionele programmeertalen. De rest van dit artikel gaat over de oorspronkelijke, ongetypeerde lambdacalculus, waarin er geen beperkingen opgelegd worden aan functieapplicatie. De ongetypeerde lambdacalculus heeft geen notie van een domein van een functie. De meeste toepassingen van de lambdacalculus gebruiken echter varianten met een typeaanduiding.
Abstract from DBpedia / Wikipedia · CC BY-SA