We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
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.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "rachunku lambda" in Polish
