Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
the lambda calculus
Examples with "the lambda calculus" and their translation in Polish
In the lambda calculus, a term is in beta normal form if no beta reduction is possible.
W rachunku lambda postać normalna to lambda-wyrażenie, w którym niczego nie można β-zredukować.
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.
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.
C# names them lambda expressions, following the original version of anonymous functions, the lambda calculus.
Składnia C# odnosi się do nich jako "wyrażeń lambda", zgodnie z pierwotnym nazewnictwem funkcji anonimowych w rachunku lambda.
Other results
The principles of lambda calculus influence various programming languages today.
Zasady rachunku lambda mają wpływ na wiele współczesnych języków programowania.
The study of lambda calculus extends beyond basic math into computer science.
Badania nad rachunkiem lambda wykraczają poza podstawy matematyki, sięgając do informatyki.
The principles of lambda calculus are often taught in advanced computer science courses.
Zasady rachunku lambda są często wykładane na zaawansowanych kursach informatyki.
Quantum lambda calculi are extensions of the classical lambda calculus introduced by Alonzo Church and Stephen Cole Kleene in the 1930s.
Rachunek lambda został wprowadzony przez Alonzo Churcha i Stephena Cole'a Kleene'ego w 1930 roku.
Researchers utilize lambda calculus to prove theories about computation and functions.
Naukowcy wykorzystują rachunek lambda do udowadniania teorii dotyczących obliczeń i funkcji.
In lambda calculus, functions can be defined and applied uniquely.
W rachunku lambda funkcje mogą być definiowane i stosowane w unikalny sposób.
In mathematics, lambda calculus helps solve complex logic problems effectively.
W matematyce rachunek lambda pomaga skutecznie rozwiązywać złożone problemy logiczne.
Many computer scientists consider lambda calculus essential for theoretical computer science.
Wielu informatyków uważa rachunek lambda za niezbędny element teoretycznej informatyki.
Many computer scientists study lambda calculus to enhance their programming skills.
Wielu informatyków zgłębia rachunek lambda, aby udoskonalić swoje umiejętności programistyczne.
Using lambda calculus can clarify complex function definitions in mathematics.
Wykorzystanie rachunku lambda może uprościć skomplikowane definicje funkcji w matematyce.
Synonyms and analogies of "the lambda calculus" in English
Word & Expression of the day
Image of the day
Results: 199. Exact: 3. Elapsed time: 57 ms.
