What is the translation of " LAMBDA RAČUN " in English?

• lambda calculus

Examples of using Lambda račun in Croatian and their translations into English

Glavni članak: lambda račun.
Main article: lambda calculus.

Lambda račun i programski jezici[uredi VE| uredi].
Lambda calculus and programming languages[edit].

U redu, samo ću reći još jednu stvar: lambda račun.
Okay, I will just say one more thing Lambda calculus.

Neki jednostavno tipizirani lambda račun uvode pojam podtipiziranja, tj.
Some typed lambda calculi introduce a notion of subtyping, i.e.

U redu, samo ću reći još jednu stvar: lambda račun.
Okay. lambda calculus. Well, let me just say one more thing.

Lambda račun je iznikao u njegovom poznatom radu iz 1936. koji je pokazao postojanje"neodlučivih problema.
The lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem.

U redu, samo ću reći još jednu stvar: lambda račun.
Lambda calculus. Well, let me just say one more thing, Okay.

Lambda račun je utjecao na dizajn programskog jezika LISP-a i funkcijskih programskih jezika općenito.
The lambda calculus influenced the design of the LISP programming language and functional programming languages in general.

Kasnih 1930-ih su Alonzo Church i njegovi studenti na Princetonu otkrili rivalni formalizam za funkcijsku apstrakciju, lambda račun, koji se pokazao popularnijim od kombinatorne logike.
In the latter 1930s, Alonzo Church and his students at Princeton invented a rival formalism for functional abstraction, the lambda calculus, which proved more popular than combinatory logic.

Primjerice ovisno tipizirani lambda račun sa tipom svih tipova(Tip: Tip) nije normalizirajući zbog Girardova paradoksa.
For example the dependently typed lambda calculus with a type of all types(Type: Type) is not normalizing due to Girard's paradox.

Na osnovu rada Berardija, Barendregt je predložio lambda kocku za sistematiziranje relacija čistog tipiziranog lambda računa uključujući jednostavno tipiziran lambda račun, Sustav F, LF i račun konstrukcija.
Based on work by Berardi on pure type systems, Henk Barendregt proposed the Lambda cube to systematize the relations of pure typed lambda calculi including simply typed lambda calculus, System F, LF and the calculus of constructions.

Lambda račun, važna preteča formalne teorije izračunljivosti, su razvili Alonzo Church i Stephen Cole Kleene.
Quantum lambda calculi are extensions of the classical lambda calculus introduced by Alonzo Church and Stephen Cole Kleene in the 1930s.

Usko su povezani sa intuicionističkom logikom preko Curry-Howard izomorfizma i mogu se smatrati internim jezikom klasa kategorija, npr. jednostavno tipizirani lambda račun je jezik kartezijanski zatvorenih kategorija CCC-ova.
Typed lambda calculi are closely related to mathematical logic and proof theory via the Curry-Howard isomorphism and they can be considered as the internal language of classes of categories, e.g. the simply typed lambda calculus is the language of Cartesian closed categories CCCs.

Lambda račun je univerzalan na način da bilo koja izračunljiva funkcija može biti izražena i evaluirana koristeći njegov formalizam.
Lambda calculus is Turing complete, that is, it is a universal model of computation that can be used to simulate any Turing machine.

Valja uočiti da se iz ovih definicija može pokazati da SKI račun nije minimalni sustav koji u potpunosti može obaviti računanja lambda računa, s obzirom da sva pojavljivanja I u bilo kojem izrazu mogu biti zamijenjena sa(SKK) ili(SKS) or(S K nešto) ii rezultirajući će izraz uvijek dati isti rezultat.
Note that from these definitions it can be shown that SKI calculus is not the minimum system that can fully perform the computations of lambda calculus, as all occurrences of I in any expression can be replaced by(SKK) or(SKS) or(SK whatever) and the resulting expression will yield the same result.

Tipizirani lambda račun je tip formalizma koji koristi simbol lambda( λ{\displaystyle\lambda}) za označavanje apstrakcije anonimne funkcije.
A typed lambda calculus is a typed formalism that uses the lambda-symbol( λ{\displaystyle\lambda}) to denote anonymous function abstraction.

Church-Rosserov teorem također vrijedi za mnoge varijante lambda računa, kao što je jednostavno tipizirani lambda račun, mnogi računi sa naprednijim sustavima tipova, te račun beta-vrijednosti Gordona Plotkina.
The Church- Rosser theorem also holds for many variants of the lambda calculus, such as the simply-typed lambda calculus, many calculi with advanced type systems, and Gordon Plotkin's beta-value calculus..

Lambda računi sa ovisnim tipovima su osnova intuicionističke teorije tipa, računa konstrukcija i logičkog okvira(LF- logical framework), čistog lambda računa sa ovisnim tipovima.
Lambda calculi with dependent types are the base of intuitionistic type theory, the calculus of constructions and the logical framework(LF), a pure lambda calculus with dependent types.

U matematičkoj logici i računarstvu, lambda račun, odnosno λ-račun, je formalni sustav dizajniran za ispitivanje definicije funkcije, aplikaciju funkcije, te rekurziju.
In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system designed to investigate function definition, function application and recursion.

Lambda račun i programski jezici[uredi- ypeди| uredi izvor] Kao što je istaknuo Peter Landin u svom klasiku iz 1965. A Correspondence between ALGOL 60 and Church's Lambda-notation, većina programskih jezika je ukorijenjena u lambda računu, koji pruža osnovne mehanizme proceduralne apstrakcije i proceduralne(potprogramske) aplikacije.
Lambda calculus and programming languages[edit] As pointed out by Peter Landin's 1965 paper A Correspondence between ALGOL 60 and Church's Lambda-notation, sequential procedural programming languages can be understood in terms of the lambda calculus, which provides the basic mechanisms for procedural abstraction and procedure(subprogram) application.

Valja uočiti da se u izvornom Churchovom lambda računu zahtijevalo bar jedno pojavljivanje formalnog parametra lambda izraza u tijelu funkcije, što gornju definiciju broja 0 čini nemogućom.
In Church's original lambda calculus, the formal parameter of a lambda expression was required to occur at least once in the function body, which made the above definition of 0 impossible.

Baš kao što lambda račun posjeduje varijable nad funkcijama i vezanja nad njima, lambda račun posjeduje varijable nad tipovima i vezanja nad njima.
Whereas simply typed lambda calculus has variables ranging over functions, and binders for them, System F additionally has variables ranging over types, and binders for them.

Sustav T proširuje jednostavno tipiziran lambda račun tipom prirodnih brojeva i primitivnom rekurzijom višeg reda- u ovom su sustavu sve funkcije dokažljivo rekurzivne u Peanovoj aritmetici definabilne.
System T extends the simply typed lambda calculus with a type of natural numbers and higher order primitive recursion; in this system all functions provably recursive in Peano arithmetic are definable.

Razni tipizirani lambda računi su proučavani: tipovi jednostavno tipiziranog lambda računa su samo bazni tipovi(ili varijable tipa) i funkcijski tipovi σ → τ{\displaystyle\sigma\to\tau.
The simply typed lambda calculus has only one type constructor, the arrow→{\displaystyle\to}, and its only types are basic types and function types σ→ τ{\displaystyle\sigma\to\tau.

Neki jednostavno tipizirani lambda račun uvode pojam podtipiziranja, tj. ako je A{\displaystyle A} podtip od B{\displaystyle B}, tada svi termini tipa A{\displaystyle A} imaju i tip B{\displaystyle B.
Some typed lambda calculi introduce a notion of subtyping, i.e. if A{\displaystyle A} is a subtype of B{\displaystyle B}, then all terms of type A{\displaystyle A} also have type B{\displaystyle B.

On i Turing su potom pokazali da su lambda račun i Turingov stroj korišten u Turingovom problemu zaustavljanja ustvari istovjetni u sposobnostima, te naknadno demonstrirali raznolikost alternativnih"mehaničkih procesa za računanje.".
Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative"mechanical processes for computation.".

Poznato je da je lambda račun računski istovjetan po svojoj moći mnogim drugim mogućim modelima računanja(uključujući Turingove strojeve); to jest, bilo koje računanje koje može biti ostvareno u ovim drugim modelima se može izraziti u lambda računu, kao i obratno.
Lambda calculus is known to be computationally equivalent in power to many other plausible models for computation(including Turing machines); that is, any calculation that can be accomplished in any of these other models can be expressed in lambda calculus, and vice versa.