What is the translation of " COMPUTABILITY " in Greek?

• υπολογισιμότητας
• υπολογισμού
• υπολογιστική ικανότητα

Examples of using Computability in English and their translations into Greek

Relative computability.
Σχετική υπολογισιμότητα.

Computability in Europe homepage.
Υπολογισιμότητα στην Ευρώπη αρχική σελίδα.

Relationship with computability.
Σχέση με την υπολογισιμότητα.

Computability& Complexity(spring semester).
Υπολογισιμότητα& Πολυπλοκότητα(εαρινό εξάμηνο).

Association Computability in Europe.
Οργάνωση Υπολογισιμότητα στην Ευρώπη.

College and his work on computability.
Κολέγιο και η εργασία του για την υπολογισιμότητα.

Computability of a function is an informal notion.
Υπολογισιμότητα μίας συνάρτησης είναι μία άτυπη έννοια.

University and work on computability.
Κολέγιο και η εργασία του για την υπολογισιμότητα.

Computability of a function is an informal notion.
Υπολογισιμότητας μιας συνάρτησης είναι μια άτυπη έννοια.

Edit University and work on computability.
Επεξεργασία Κολέγιο και η εργασία του για την υπολογισιμότητα.

In computability theory in computer science, it is common to consider formal languages.
Στη θεωρία υπολογισιμότητας στην επιστήμη των υπολογιστών, είναι κοινό κάποιος να εξετάσει επίσημες γλώσσες.

The Theory of Recursive Functions and Effective Computability.
Θεωρία αναδρομικών συναρτήσεων και υπολογισιμότητας, διδακτικές σημειώσεις.

The notion of computability of a function can be relativized to an arbitrary set of natural numbers A.
Η έννοια της υπολογισιμότητας μίας συνάρτησης μπορεί να σχετικοποιείται σε ένα αυθαίρετο σύνολο των φυσικών αριθμών Α.

Computable functions are the basic objects of study in computability theory.
Υπολογίσιμες συναρτήσεις είναι τα βασικά αντικείμενα μελέτης στη θεωρία υπολογισιμότητας.

Classical recursion theory focuses on the computability of functions from the natural numbers to the natural numbers.
Η κλασσική θεωρία αναδρομής εστιάζει στην υπολογισιμότητα των συναρτήσεων από φυσικούς αριθμούς σε φυσικούς αριθμούς.

Formal language theory and Automata theory are closely related to computability.
Η θεωρία αυτομάτων και η θεωρία τυπικών γλωσσών έχουν στενή σχέση με τη θεωρία υπολογισμού.

The interdisciplinary research Association Computability in Europe(CiE) also organizes a series of annual conferences.
Η διεπιστημονική ερευνητική οργάνωση Υπολογισιμότητα στην Ευρώπη(CiE) διοργανώνει επίσης μια σειρά ετήσιων συνεδρίων.

The notion captured by these definitions is known as recursive or effective computability.
Η έννοια που συλλήφθηκε από αυτούς τους ορισμούς είναι γνωστή ως περιοδικότητα ή αποτελεσματική υπολογισιμότητα.

In computability theory, the term"Gödel numbering" is used in settings more general than the one described above.
Στη θεωρία υπολογισιμότητας, ο όρος«αρίθμηση Γκέντελ» χρησιμοποιείται με έννοια ευρύτερη από αυτή που περιγράφεται παραπάνω.

Recursion theory also includes the study of generalized computability and definability.
Η θεωρία αναδρομής επίσης περιέχει τη μελέτη της γενικής υπολογισιμότητας και ορισιμότητας.

For this reason, research in computability theory and complexity theory have typically focused on decision problems.
Για το λόγο αυτό, η έρευνα στη θεωρία υπολογισιμότητας και πολυπλοκότητας έχει επικεντρωθεί κυρίως στα προβλήματα απόφασης.

The field has since expanded to include the study of generalized computability and definability.
Το πεδίο των ερευνών αυτών έχει διευρυνθεί από τότε και πλέον περιέχει την έρευνα της γενικευμένης υπολογισιμότητας και προσδιορισιμότητας.

The fields of feasible computability and computational complexity study functions that can be computed efficiently.
Τα πεδία της εφικτής υπολογισιμότητας και υπολογιστικής πολυπλοκότητας μελετουν συναρτήσεις που μπορουν να υπολογιστουν αποτελεσματικά.

For example, Hardy's definition includes multivalued functions and what in computability theory are called partial functions.
Για παράδειγμα, ο ορισμός Hardy περιλαμβάνει επιπλέον συναρτήσεις και ό, τι στη θεωρία υπολογισιμότητας καλούνται μερικές συναρτήσεις.

It includes the study of computability in higher types as well as areas such as hyperarithmetical theory and a-recursion theory.
Περιλαμβάνει τη μελέτη της υπολογισιμότητας σε υψηλότερους τύπους αλλά και σε περιοχές όπως η υπεραριθμητική θεωρία και η θεωρία αναδρομής άλφα.

Similarly, Tarski's indefinability theorem can be interpreted both in terms of definability and in terms of computability.
Παρομοίως το Θεώρημα της μη-Προσδιορισιμότητας του Τάρσκι μπορεί να ερμηνευτεί τόσο από την άποψη της προσδιορισιμότητας όσο και της υπολογισιμότητας.

In computational complexity theory and computability theory, a counting problem is a type of computational problem.
Στη θεωρία υπολογιστικής πολυπλοκότητας και τη θεωρία υπολογισιμότητας, ένα πρόβλημα απαρίθμησης είναι ένα είδος υπολογιστικού προβλήματος.

Stephen Cole Kleene(1943) presented a proof of Gödel's incompleteness theorem using basic results of computability theory.
Ο Στίβεν Κλέινι(Stephen Cole Kleene)(1943) παρουσίασε μία απόδειξη του θεωρήματος μη πληρότητας του Γκέντελ χρησιμοποιώντας βασικά αποτελέσματα της θεωρίας υπολογισμού.

The study of computability theory in computer science is closely related to the study of computability in mathematical logic.
Η μελέτη της θεωρίας υπολογισιμότητας στην επιστήμη υπολογιστών σχετίζεται στενά με τη μελέτη της υπολογισιμότητας στη μαθηματική λογική.

They will be able to use these methods in subsequent courses in the design and analysis of algorithms, computability theory, software engineering, and computer systems.
Θα είναι σε θέση να χρησιμοποιούν αυτές τις μεθόδους στα επακόλουθα μαθήματα στον σχεδιασμό και την ανάλυση αλγορίθμων, την θεωρία υπολογισιμότητας, την μηχανολογία λογισμικού και τα συστήματα υπολογιστών.