What is the translation of " LAMBDA CALCULUS " in Greek?

• λογισμός λάμδα
• λ-λογισμός
• λογισμό λάμδα
• λ-λογισμού
• λογισμού λάμδα
• λάμβδα λογισμό

Examples of using Lambda calculus in English and their translations into Greek

The lambda calculus can be called the smallest universal programming language.
Ο λογισμός λάμδα είναι η μικρότερη δυνατή καθολική γλώσσα προγραμματισμού.

Many functional programming languages can be viewed as embellishments to the lambda calculus.
Πολλές συναρτησιακές γλώσσες προγραμματισμού μπορούν να θεωρηθούν επεκτάσεις του λογισμού λάμδα.

Lambda calculus can be used to define what is a computable function.
Ο λογισμός λάμδα μπορεί να χρησιμοποιηθεί για να ορίσει τι είναι μια υπολογίσιμη συνάρτηση.

Many Functional Programming languages can thus be considered as elaborations on this lambda calculus.
Πολλές συναρτησιακές γλώσσες προγραμματισμού μπορούν να θεωρηθούν επεκτάσεις του λογισμού λάμδα.

The simply typed lambda calculus is the language of Cartesian closed categories(CCCs).
Ο λ-λογισμός με απλούς τύπους είναι η γλώσσα των καρτεσιανά κλειστών κατηγοριών.

Lisp was originally created as a practical mathematical notation for computer programs, based on Alonzo Church's lambda calculus.
Δημιουργήθηκε άλλωστε αρχικά ως μια πρακτική μαθηματική σημειολογία για προγράμματα υπολογιστών, βασισμένη στο λογισμό λάμδα του Alonzo Church.

Turing machines μ-recursive functions Lambda calculus Post machines(Post- Turing machines and tag machines).
Μηχανές Τιούρινγκ μ-αναδρομικές συναρτήσεις Λογισμός λάμδα Post μηχανές(Post- μηχανές Τιούρινγκ και tag μηχανές).

The lambda calculus provides a powerful and flexible syntax for defining and combining functions of several variables.
Ο λογισμός λάμδα παρέχει μια ισχυρή και ευέλικτη σύνταξη για τον καθορισμό και το συνδυασμό συναρτήσεων πολλών μεταβλητών.

Stephen Cole Kleene, for his pioneering work with Alonzo Church in Lambda Calculus that first laid down the foundations of computation theory.
Stephen Cole Kleene Πρωτοποριακή δουλειά με τον Αλόνζο Τσερτς στον Λογισμό Λάμδα με τον οποία τέθηκαν τα θεμέλια την θεωρίας υπολογισμού.

Combinatory logic and lambda calculus were both originally developed to achieve a clearer approach to the foundations of mathematics.
Τόσο η συνδυαστική λογική και ο λογισμός λάμδα αναπτύχθηκαν αρχικά για να επιτευχθεί μια πιο καθαρή προσέγγιση στη θεμελίωση των μαθηματικών.

Originally created as a practical mathematical notation for computer programs, LISP is based on the notation of Alonzo Church's lambda calculus.
Η Lisp δημιουργήθηκε αρχικά ως μια πρακτική μαθηματική σημειολογία για προγράμματα υπολογιστών, βασισμένη στο λογισμό λάμδα του Alonzo Church.

Formal calculi such as the lambda calculus and combinatory logic are now studied as idealized programming languages.
Λογισμοί όπως ο λάμδα λογισμός και η συνδυαστική λογική(combinatory logic) μελετώνται τελευταία ως ιδεατές γλώσσες προγραμματισμού.

The availability of predicates and the above definition of TRUE and FALSE make it convenient to write"if-then-else" expressions in lambda calculus.
Χρησιμοποιώντας τα κατηγορήματα και τους παραπάνω ορισμούς των TRUE και FALSE, γίνεται εύκολο να γράψουμε εκφράσεις"if-then-else" στο λογισμό λάμδα.

Lambda calculus is universal in the sense that any computable function can be expressed and evaluated using this formalism.
Ο λογισμός λάμδα είναι καθολικός με την έννοια ότι οποιαδήποτε υπολογίσιμη συνάρτηση μπορεί να εκφραστεί και να υπολογιστεί χρησιμοποιώντας αυτό το σύστημα.

Turing machines Finite state machines Recursive functions Lambda calculus Combinatory logic Cellular automaton Abstract rewriting systems.
Μηχανές Turing Μηχανές πεπερασμένων καταστάσεων Αναδρομικές συναρτήσεις Λογισμός Λάμδα Συνδιαστική λογική Κυψελοειδές αυτόματο Αφηρημένα συστήματα.

Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.
Βασισμένη στο λάμβδα λογισμό, η Lisp έγινε γρήγορα η πλέον σημαντική γλώσσα προγραμματισμού για τη Τεχνητή Νοημοσύνη μετά τη δημοσίευσή της το 1960.

Perhaps the first formal incarnation of operational semantics was the use of the lambda calculus to define the semantics of LISP by John McCarthy.
Μιά από τις πρώτες τυπικές χρήσεις της λειτουργικής σημασιολογίας ήταν η χρήση του λ-λογισμού για τον ορισμό της σημασιολογίας της LISP από τον Τζον Μακάρθι[3].

Instituting a simply typed lambda calculus over the type operators results in more than just a formalization of type constructors though.
Η καθιέρωση ενός λ-λογισμού με απλούς τύπους πάνω από τους τελεστές τύπων οδηγεί σε κάτι περισσότερο από απλά ένα φορμαλισμό των κατασκευαστών τύπων.

Continuations are also used in models of computation including denotational semantics, the Actor model, process calculi, and lambda calculus.
Οι συνέχειες επίσης χρησιμοποιούνται σε μοντέλα υπολογισμού όπως η δηλωτική σημασιολογία, το μοντέλο Actor, οι λογισμοί διεργασιών(process calculi) και ο λ-λογισμός.

For example the dependently typed lambda calculus with a type of all types(Type: Type) is not normalizing due to Girard's paradox.
Για παράδειγμα ο λ-λογισμός με εξαρτώμενους τύπους που περιέχει ένα τύπο όλων των τύπων(Τύπος: Τύπος) δεν είναι κανονικοποιήσιμος λόγω του παραδόξου του Ζιράρ.

As Peter Landin noted, the language Algol was the first language to combine seamlessly imperative effects with the(call-by-name) lambda calculus.
Όπως παρατήρησε και ο Peter Landin, η Algol ήταν η πρώτη γλώσσα που συνδύασε επιτυχημένα τα προστακτικά εφέ(imperative effects) με το λ-λογισμό με κλήση κατ' όνομα(call-by-name).

There are several possible ways to define the natural numbers in lambda calculus, but by far the most common are the Church numerals, which can be defined as follows.
Υπάρχουν διάφοροι τρόποι να οριστούν οι φυσικοί αριθμοί στο λογισμό λάμδα, αλλά ο πιο κοινός είναι τα αριθμητικά του Τσερτς(Church numerals), που ορίζονται ως εξής.

The simply typed lambda calculus(formula_1), a formof type theory, is a typed interpretation of the lambda calculus with only one type constructor: formula_2 that builds function types.
Ο λ-λογισμός με απλούς τύπους(formula_1) είναι μια θεωρίας τύπων, είναι μια ερμηνεία τύπων του λ-λογισμού με ένα μοναδικό κατασκευαστή τύπων(type constructor): formula_2, ο οποίος κατασκευάζει τύπους συναρτήσεων.

The Montague grammar is based on formal logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models.
Η γραμματική του Μόνταγκιου βασίζεται στην τυπική λογική και ειδικότερα στην κατηγορηματική λογική υψηλότερης τάξης και το λ-λογισμό και χρησιμοποιεί έννοιες της νοηματικής λογικής μέσω μοντέλων Kripke.

Alonzo Church, inventor of the lambda calculus, developed a higher-order logic commonly called"Church's Theory of Types", in order to avoid the Kleene-Rosser paradox afflicting the original pure lambda calculus..
Ο Alonzo Church, εφευρέτης του λ-λογισμού, ανέπτυξε μια Λογική Υψηλής Τάξης γνωστότερη ως Θεωρία Τύπων του Church,[1] με σκοπό να αποφύγει το Παράδοξο Kleene-Rosser που ταλαιπωρούσε τον αρχικό αμιγή λ-λογισμό..

The class of computable functions can be defined in many equivalent models of computation, including Turing machines μ-recursive functions Lambda calculus Post machines(Post- Turing machines and tag machines).
Η κατηγορία των υπολογίσιμων συναρτήσεων μπορεί να οριστεί με πολλά ισοδύναμα μοντέλα υπολογισμού, συμπεριλαμβανομένων Μηχανές Τούρινγκ μ-αναδρομικές συναρτήσεις Λογισμός Λάμδα Post μηχανές(Ποστ- Τούρινγκ μηχανές και tag μηχανές).

(Church did this by inventing an entirely different system known as the lambda calculus, which would later encourage laptop languages like Lisp) The answer to the decision problem was adverse.
(Ο Τσερτς το έκανε αυτό με την εφεύρεση ενός εντελώς διαφορετικού συστήματος που ονομάζεται λογισμός λάμδα, το οποίο αργότερα θα εμπνεύσει γλώσσες υπολογιστών όπως η Lisp.).

The simply typed lambda calculus( λ→{\displaystyle\lambda^{\to}}), a form of type theory, is a typed interpretation of the lambda calculus with only one type constructor:→{\displaystyle\to} that builds function types.
Ο λ-λογισμός με απλούς τύπους( λ→{\displaystyle\lambda^{\to}}) είναι μια θεωρίας τύπων, είναι μια ερμηνεία τύπων του λ-λογισμού με ένα μοναδικό κατασκευαστή τύπων(type constructor):→{\displaystyle\to}, ο οποίος κατασκευάζει τύπους συναρτήσεων.

(Church did this by inventing a completely totally different system called the lambda calculus, which might later encourage laptop languages like Lisp) The answer to the choice problem was unfavourable.
(Ο Τσερτς το έκανε αυτό με την εφεύρεση ενός εντελώς διαφορετικού συστήματος που ονομάζεται λογισμός λάμδα, το οποίο αργότερα θα εμπνεύσει γλώσσες υπολογιστών όπως η Lisp.).

Functional programming has its roots in lambda calculus, a formal system developed in the 1930s to investigate function definition, function application, and recursion.
Ο συναρτησιακός προγραμματισμός έχει τις ρίζες του στο λογισμό λάμδα, ένα τυπικό σύστημα που αναπτύχθηκε τη δεκαετία 1930 για τη διερεύνηση του ορισμού συναρτήσεων, της εφαρμογής συναρτήσεων και της αναδρομής.