Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆
Sprache:
Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT
Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:
- wie das Wort verwendet wird
- Häufigkeit der Nutzung
- es wird häufiger in mündlicher oder schriftlicher Rede verwendet
- Wortübersetzungsoptionen
- Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
- Etymologie
Was (wer) ist de Bruijn notation - definition
ALTERNATIVE POSTFIX NOTATION FOR LAMBDA CALCULUS
De bruijn notation
De Bruijn notation
<language> A variation of lambda notation for specifying
functions using numbers instead of names to refer to {formal
parameters}. A reference to a formal parameter is a number
which gives the number of lambdas (written as here) between
the reference and the lambda which binds the parameter.
E.g. the function f . x . f x would be written . . 1
0. The 0 refers to the innermost lambda, the 1 to the next
etc. The chief advantage of this notation is that it avoids
the possibility of name capture and removes the need for {alpha
conversion}.
[N.G. De Bruijn, "Lambda Calculus Notation with Nameless
Dummies: A Tool for Automatic Formula Manipulation, with
Application to the Church-Rosser Theorem", Indag Math. 34, pp
381-392 ].
(2003-06-15)
De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
Hans de Bruijn
DUTCH POLITICAL SCIENTIST AND PROFESSOR OF PUBLIC ADMINISTRATION AT DELFT UNIVERSITY OF TECHNOLOGY, KNOWN BY HIS WORK IN THE FIELD OF PROCESS MANAGEMENT
Johan Adam de Bruijn; De Bruijn, Hans; Bruijn, Johan Adam
Johan Adam (Hans) de Bruijn (born 1 September 1962) is a Dutch political scientist and Professor of Public Administration at Delft University of Technology, known by his work in the field of process management.Peter Hupe (2007).
Wikipedia
De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
