What is the translation of " COMPUTABLE FUNCTION " in Greek?

• υπολογίσιμη συνάρτηση
• υπολογίσιμης συνάρτησης

Examples of using Computable function in English and their translations into Greek

Computable function.
Υπολογίσιμη συνάρτηση.

B is the range of a total computable function.
Β είναι το εύρος της συνολικής υπολογίσιμης συνάρτησης.

Every computable function has a finite procedure giving explicit, unambiguous instructions on how to compute it.
Κάθε υπολογίσιμη συνάρτηση έχει μία πεπερασμένη διαδικασία δίνοντας σαφείς, ξεκάθαρες οδηγίες για το πώς να την υπολογίσει.

The greatest common divisor of two numbers is a computable function.
Ο μέγιστος κοινός διαιρέτης δύο αριθμών είναι μια υπολογίσιμη συνάρτηση.

Possible values for a total computable function f arranged in a 2D array.
Πιθανές τιμές για μία ολική υπολογίσιμη συνάρτηση"f" διατεταγμένη σε ένα δισδιάστατο πίνακα.

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

Because f is assumed to be a total computable function, any element of the array can be calculated using f.
Γιατί η"f" υποτίθεται ότι είναι ολική υπολογίσιμη συνάρτηση και κάθε στοιχείο το πίνακα μπορεί να υπολογιστεί χρησιμοποιώντας την"f".

The image of a computable set under a nondecreasing total computable function is computable..
Η εικόνα ενός υπολογίσιμου συνόλου μέσω μιας ασθενώς αύξουσας ολικής υπολογίσιμης συνάρτησης είναι υπολογίσιμη..

For a total computable function f{\displaystyle f} complexity classes of computable functions can be defined as.
Για μια ολική υπολογίσιμη συνάρτηση κλάσεων πολυπλοκότητας των υπολογίσιμων συναρτήσεων μπορεί να οριστεί ως.

The preimage of a recursive set under a total computable function is a recursive set.
Η προεικόνα ενός αναδρομικού συνόλου υπό μια ολική υπολογίσιμη συνάρτηση είναι αναδρομικό σύνολο.

Thus every computable function must have a finite program that completely describes how the function is to be computed.
Έτσι κάθε υπολογίσιμη συνάρτηση πρέπει να έχει ένα πεπερασμένο πρόγραμμα το οποίο να περιγράφει ακριβώς το πώς η συνάρτησή είναι να υπολογιστεί.

A set is recursive if and only if it is either the range of a nondecreasing total computable function or the empty set.
Ένα σύνολο είναι αναδρομικό αν και μόνο αν είναι είτε το πεδίο τιμών μιας ασθενώς αύξουσας ολικής υπολογίσιμης συνάρτησης ή το κενό σύνολο.

Before the precise definition of computable function, mathematicians often used the informal term effectively calculable.
Πριν τον ακριβή ορισμό της υπολογίσιμης συνάρτησης, οι μαθηματικοί συχνά χρησιμοποιούσαν τον άτυπο όρο αποτελεσματικά υπολογίσιμη..

Many equivalent models of computation are known, and they all give the same definition of computable function(or a weaker version, in some instances).
Πολλά ισοδύναμα μοντέλα υπολογισμού είναι γνωστά, και όλα δίνουν τον ίδιο ορισμό της υπολογίσιμης συνάρτησης(ή ασθενέστερη εκδοχή, σε ορισμένες περιπτώσεις).

As with the concept of a computable function relative computability can be given equivalent definitions in many different models of computation.
Όπως και με την έννοιά της, για μια υπολογίσιμη συνάρτηση σχετικής υπολογισιμότητας μπορούν να δοθούν ισοδύναμοι ορισμοί σε πολλά διαφορετικά μοντέλα υπολογισμού.

This set is recursively enumerable, which means there is a computable function that lists all of the pairs(i, x) it contains.
Αυτό το σύνολο είναι αναδρομικά αριθμήσιμο, που σημαίνει ότι υπάρχει μία υπολογίσιμη συνάρτηση που"τακτοποιεί σε λίστα" όλα τα ζευγάρια("i", x) που περιέχει.

Completely analogous a partial function is lower semicomputable iff is upper semicomputable or equivalently if there exists a computable function such that.
Εντελώς ανάλογα μια μερική συνάρτηση είναι κάτω ημι-υπολογίσιμη αν η είναι άνω ημι-υπολογίσιμης ή ανάλογα αν υπάρχει μια υπολογίσιμη συνάρτηση τέτοια ώστε.

The proof proceeds by directly establishing that no total computable function with two arguments can be the required function h.
Η απόδειξη ξεκινάει άμεσα προσδιορίζοντας πως κάθε ολική υπολογίσιμη συνάρτηση με δύο ορίσματα διαφέρει από την απαιτούμενη συνάρτηση"h".

The Church- Turing thesis states that any function computable from a procedure possessing the three properties listed above is a computable function.
H Church- Turing διατριβή αναφέρει ότι οποιαδήποτε συνάρτηση υπολογισμένη από μια διαδικασία που κατέχει τις τρεις ιδιότητες που αναφέρονται παραπάνω είναι μια υπολογίσιμη συνάρτηση.

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

Many degrees with special properties were constructed: hyperimmune-free degrees where every function computable relative to that degree is majorized by a(unrelativized) computable function;
Πολλοί βαθμοί με ειδικές ιδιότητες κατασκευάστηκαν ως υπεράνοσοι χωρίς βαθμούς όπου κάθε λειτουργία υπολογίσιμη σε σχέση με αυτό το βαθμό είναι μεγενθυμένη από μια υπολογίσιμη συνάρτηση.

The proof proceeds by directly establishing that every total computable function with two arguments differs from the required function h.
Η απόδειξη ξεκινάει άμεσα προσδιορίζοντας πως κάθε ολική υπολογίσιμη συνάρτηση με δύο ορίσματα διαφέρει από την απαιτούμενη συνάρτηση"h".

In computability theory, a semicomputable function is a partial function f: Q→ R{\displaystyle f:\mathbb{Q}\rightarrow\mathbb{R}} that can be approximated either from above or from below by a computable function.
Στη θεωρία υπολογισιμότητας, μία ημι-υπολογίσιμη συνάρτηση είναι μια μερική συνάρτηση f: Q→ R{\displaystyle f:\mathbb{Q}\rightarrow\mathbb{R}} που μπορεί να προσεγγιστεί είτε από πάνω είτε από κάτω από μια υπολογίσιμη συνάρτηση.

Enderton[1977] gives the following characteristics of a procedure for computing a computable function; similar characterizations have been given by Turing[1936], Rogers[1967], and others.
Ο Enderton[1977] δίνει τα ακόλουθα χαρακτηριστικά της διαδικασίας για τον υπολογισμό μίας υπολογίσιμης συνάρτησης, παρόμοιοι χαρακτηρισμοί έχουν δοθεί από τους Τιούρινγκ[1936], Rogers[1967], και άλλους.

The notion of computability of a function can be relativized to an arbitrary set of natural numbers A. A function f is defined to be computable in A(equivalently A-computable or computable relative to A) when it satisfies the definition of a computable function with modifications allowing access to A as an oracle.
Η έννοια της υπολογισιμότητας μιας συνάρτησης μπορεί να σχετικοποιείται σε ένα αυθαίρετο σύνολο των φυσικών αριθμών Α. Μια συνάρτηση f ορίζεται να είναι υπολογίσιμη στο Α(αντίστοιχα Α-υπολογίσιμη ή υπολογίσιμη σε σχέση με Α) όταν πληροί τον ορισμό μιας υπολογίσιμης συνάρτησης με τις τροποποιήσεις που επιτρέπουν την πρόσβαση στο Α ως μαντείο.

Some coding system must be developed to allow a computable function to take an arbitrary word in the language as input; this is usually considered routine.
Κάποιο σύστημα κωδικοποίησης πρέπει να αναπτυχθεί για να επιτρέψει σε μία υπολογίσιμη συνάρτηση να πάρει μια αυθαίρετη λέξη της γλώσσας ως εισαγωγή. Αυτό συνήθως θεωρείται ρουτίνα.

The following facts are often taken as evidence for the thesis: Many equivalent models of computation are known, and they all give the same definition of computable function(or a weaker version, in some instances).
Τα ακόλουθα στοιχεία όμως λαμβάνονται συχνά ως αποδεικτικά στοιχεία για τη διατριβή: Πολλά ισοδύναμα μοντέλα υπολογισμού είναι γνωστά, και όλα δίνουν τον ίδιο ορισμό της υπολογίσιμης συνάρτησης(ή ασθενέστερη εκδοχή, σε ορισμένες περιπτώσεις).

In computability theory, a semicomputable function is a partial function that can be approximated either from above or from below by a computable function.
Στη θεωρία υπολογισιμότητας, μία ημι-υπολογίσιμη συνάρτηση είναι μια μερική συνάρτηση που μπορεί να προσεγγιστεί είτε από πάνω είτε από κάτω από μια υπολογίσιμη συνάρτηση.

More precisely a partial function is upper semicomputable, meaning it can be approximated from above, if there exists a computable function, where is the desired parameter for and is the level of approximation, such that.
Πιο συγκεκριμένα μια μερική συνάρτηση είναι άνω ημι-υπολογίσιμη, που σημαίνει ότι μπορεί να προσεγγιστεί από πάνω, αν υπάρχει μια υπολογίσιμη συνάρτηση, όπου είναι η επιθυμητή παράμετρος, για την και είναι το επίπεδο προσέγγισης, έτσι ώστε.

A function f is defined to be computable in A(equivalently A-computable or computable relative to A) when it satisfies the definition of a computable function with modifications allowing access to A as an oracle.
Μια συνάρτηση f ορίζεται να είναι υπολογίσιμη στο Α(αντίστοιχα Α-υπολογίσιμη ή υπολογίσιμη σε σχέση με Α) όταν πληροί τον ορισμό μίας υπολογίσιμης συνάρτησης με τις τροποποιήσεις που επιτρέπουν την πρόσβαση στο Α ως μαντείο.