Διαφορά μεταξύ των αναθεωρήσεων του «Θεωρία υπολογισιμότητας»

Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση
καμία σύνοψη επεξεργασίας
Η μελέτη για το ποιες μαθηματικές κατασκευές μπορούν να πραγματοποιηθούν αποτελεσματικά μερικές φορές ονομάζεται '''αναδρομικά μαθηματικά'''. Το Εγχειρίδιο των Αναδρομικών Μαθηματικών (Ershov et al. 1998) καλύπτει πολλά από τα γνωστά αποτελέσματα σε αυτόν τον τομέα.
 
===== '''Πεδία Έρευνας''' =====
Κυρίως με την Θεωρία των Αναδρομικών Συνόλων και Συναρτήσεων ο χώρος έρευνας της Θεωρίας της Αναδρομής έχει επεκταθεί σε πολλές σχετικές θεωρίες :
28

επεξεργασίες

Μενού πλοήγησης