Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01060070n
Noun Concept
Categories: Lambdacalculus
NL
lambdacalculus  Lambda Calculus  λ-calculus  Labdacalculus  lambda-calculus
NL
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. Wikipedia
Definitions
Relations
Sources
NL
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. Wikipedia
Een formeel systeem in de logische rekenkunde Wikidata
IS A
wiskundig model
formeel systeem
PART OF
theorie van de berekeningen
HAS KIND
EN
binary lambda calculus
getypte lambda calculus
HAS INSTANCE
EN
simply typed lambda calculus
System F
DISCOVERER OR INVENTOR
Alonzo Church
HAS QUALITY
Turingvolledigheid
NAMED AFTER
lambda
USE
model van berekening
Wikipedia
NL
lambdacalculus
Wikidata
NL
lambdacalculus
Wikipedia Redirections
NL
Labdacalculus, Lambda calculus, Lambda Calculus
Wikidata Alias
NL
Lambda Calculus, λ-calculus
Wikipedia Translations
NL
lambda-calculus, lambda-expressies, lambda calculus, λ-calculus

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License