Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00775789n
Noun Concept
Categories: Θεωρία υπολογισμού
EL
θεωρία αναδρομής  θεωρία υπολογισιμότητας  Θεωρία της Αναδρομής  Θεωρια Υπολογισιμότητας
EL
Η Θεωρία της Υπολογισιμότητας ή Θεωρία της Αναδρομής, είναι ένας κλάδος της μαθηματικής λογικής, της πληροφορικής και της θεωρίας υπολογισμού που προήλθε από την έρευνα των υπολογίσιμων συναρτήσεων και του βαθμού Turing στα μέσα της δεκαετίας του 1930. Wikipedia
English:
computer science
Definitions
Relations
Sources
EL
Η Θεωρία της Υπολογισιμότητας ή Θεωρία της Αναδρομής, είναι ένας κλάδος της μαθηματικής λογικής, της πληροφορικής και της θεωρίας υπολογισμού που προήλθε από την έρευνα των υπολογίσιμων συναρτήσεων και του βαθμού Turing στα μέσα της δεκαετίας του 1930. Wikipedia
IS A
μαθηματική λογική
θεωρία υπολογισμού
θεωρητική πληροφορική
HAS PART
EN
Smn theorem
HAS KIND
θεωρία πολυπλοκότητας
EN
Kleene's recursion theorem
λήμμα άντλησης
λειτουργία ackermann
υπολογίσιμο
Wikipedia
EL
θεωρία υπολογισιμότητας
Wikidata
EL
θεωρία αναδρομής
Wikipedia Redirections
EL
Θεωρια Υπολογισιμότητας
Wikidata Alias
EL
Θεωρία της Αναδρομής
Wikipedia Translations
EL
θεωρία αναδρομής, θεωρία υπολογισιμότητας

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License