LAMBDA CALCULUS in Greek translation

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

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

FALSE make it convenient to write"if-then-else" expressions in lambda calculus.
γίνεται εύκολο να γράψουμε εκφράσεις"if-then-else" στο λογισμό λάμδα.

notation for computer programs, based on Alonzo Church's lambda calculus.
σημειολογία για προγράμματα υπολογιστών, βασισμένη στο λογισμό λάμδα του Alonzo Church.

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

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

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

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).

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

Such a model would formalize a link between the lambda calculus as a purely syntactic system and the lambda calculus as a notational system for manipulating concrete mathematical functions.
Ένα τέτοιο μοντέλο θα τυποποιούσε τη σχέση μεταξύ του λ-λογισμού σαν πλήρως συντακτικού συστήματος, και του λ-λογισμού σαν σύστημα σημειογραφίας για το χειρισμό μαθηματικών συναρτήσεων.

In 1940 Alonzo Church(re)formulated it as simply typed lambda calculus. and examined by Gödel in 1944.
Το 1940 ο Αλόνσο Τσέρτς την επανασχεδίασε ως λ-λογισμό με απλούς τύπους. και εξετάστηκε και από τον Γκέντελ το 1944.

To formulate such a denotational semantics, one might first try to construct a model for the lambda calculus, in which a genuine(total) function is associated with each lambda term.
Για τον τυπικό ορισμό δηλωτικής σημασιολογίας, πρέπει πρώτα να κατασκευαστεί ένα μοντέλο του λ-λογισμού, στο οποίο μια πλήρης(total) συνάρτηση αντιστοιχίζεται σε κάθε λ-όρο.

The important step to find a model for the lambda calculus is to consider only those functions(on such a partially ordered set)
Το βασικό βήμα για την εύρεση ενός μοντέλου για το λ-λογισμό είναι να εξετάζονται μόνο οι συναρτήσεις(στο μερικά διατεταγμένο σύνολο)

We see that in typed lambda calculus every function(abstraction) must specify the type of its argument.
Φαίνεται ότι στο λ-λογισμό με τύπους κάθε συνάρτηση(αφαίρεση) πρέπει να καθορίζει τον τύπο του ορίσματός της.

such as Markov algorithms, Lambda calculus, Post systems,
όπως είναι οι Μαρκοβιανοί αλγόριθμοι, Λογισμός λάμδα, Σύστημα Ποστ,

most scripting languages) or effectively for practical implementation( e. g., formal languages like lambda calculus); these are said to be garbage collected languages.
στην πράξη σαν μέρος μιας ρεαλιστικής υλοποίησης(για παράδειγμα σε τυπικές γλώσσες όπως ο λ-λογισμός)- αυτές ονομάζονται γλώσσες με συλλογή απορριμμάτων(garbage collected languages).

such as Markov algorithms, Lambda calculus, Post systems
όπως είναι οι Μαρκοβιανοί αλγόριθμοι, Λογισμός λάμδα, Σύστημα Ποστ,

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

introduced by Alonzo Church, whose work on lambda calculus intertwined with Turing's in a formal theory of computation known as the Church-Turing thesis.
του οποίου η εργασία πάνω στο λογισμό λάμδα συνυφαίνεται με αυτή του Τιούρινγκ σε μια τυπική θεωρία υπολογισμού που είναι γνωστή ως η θέση Τσερτς-Τιούρινγκ.

Church's type theory is a variant of the lambda calculus in which expressions(also called formulas
Η θεωρία τύπων του Church είναι μια παραλλαγή του λ-λογισμού στην οποία οι εκφράσεις(που επίσης καλούνται φόρμουλες

(In Church's original lambda calculus, the formal parameter of a lambda expression was required to occur at least once in the function body,
Στην αρχική διατύπωση του λογισμού λάμδα από τον Τσερτς, η τυπική παράμετρος μίας έκφρασης λάμδα έπρεπε απαραίτητα να εμφανίζεται τουλάχιστον μία φορά στο σώμα της συνάρτησης,

in subsequent papers they proceeded to demonstrate the raw power of this practical use of lambda calculus.
σε επόμενες δημοσιεύσεις έδειξαν το πόσο ισχυρή είναι αυτή χρήση στην πράξη του λ-λογισμού.