We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
lambda calculus
W rachunku lambda funkcje mogą być definiowane i stosowane w unikalny sposób.
In lambda calculus, functions can be defined and applied uniquely.
Zasady rachunku lambda mają wpływ na wiele współczesnych języków programowania.
The principles of lambda calculus influence various programming languages today.
Wykorzystanie rachunku lambda może uprościć skomplikowane definicje funkcji w matematyce.
Using lambda calculus can clarify complex function definitions in mathematics.
Zasady rachunku lambda są często wykładane na zaawansowanych kursach informatyki.
The principles of lambda calculus are often taught in advanced computer science courses.
Zrozumienie rachunku lambda może pogłębić Twoje pojmowanie koncepcji programowania funkcyjnego.
Understanding lambda calculus can enhance your grasp of functional programming concepts.
Studiowanie rachunku lambda może pogłębić Twoje zrozumienie obliczeń i algorytmów.
Studying lambda calculus can deepen your insights into computation and algorithms.
Lisp[edytuj | edytuj kod] Lisp i Scheme obsługują funkcje anonimowe z pomocą konstrukcji "lambda", które odnoszą się do rachunku lambda.
Lisp[edit] Lisp and Scheme support anonymous functions using the "lambda" construct, which is a reference to lambda calculus.
Lisp powstał jako wygodna matematyczna notacja dla programów komputerowych, oparta na rachunku lambda stworzonym przez Alonzo Churcha.
Lisp was originally created as a practical mathematical notation for computer programs, influenced by the notation of Alonzo Church's lambda calculus.
Marek Zaionc - Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Marek Zaionc - Asymptotic methods in lambda calculus and combinatory logic
Składnia C# odnosi się do nich jako "wyrażeń lambda", zgodnie z pierwotnym nazewnictwem funkcji anonimowych w rachunku lambda.
C# names them lambda expressions, following the original version of anonymous functions, the lambda calculus.
W rachunku lambda postać normalna to lambda-wyrażenie, w którym niczego nie można β-zredukować.
In the lambda calculus, a term is in beta normal form if no beta reduction is possible.
Funkcje anonimowe biorą początek w pracach Alonzo Churcha nad wynalezieniem rachunku lambda w 1936 roku (przed pojawieniem się komputerów elektronicznych), w którym wszystkie funkcje są anonimowe.
Anonymous functions originate in the work of Alonzo Church in his invention of the lambda calculus in 1936, before electronic computers, in which all functions are anonymous.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
