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

καμία σύνοψη επεξεργασίας
Η Θεωρία της Αναδρομής συνδυάζεται με την Θεωρία των Αποδείξεων,με την Αποτελεσματική Περιγραφική Θεωρία Συνόλων, την [[Θεωρία μοντέλων|Θεωρια Μοντέλων]] και την Αφηρημένη Άλγεβρα. Μάλιστα, Θα μπορούσαμε να χαρακτηρίσουμε οτι η Θεωρία της Πολυπλοκότητας είναι γέννημα της Αναδρομικής Θεωρίας καθώς και οι δύο μοιράζονται ίδιο τεχνικό εργαλείο ,δηλαδή το Turing Machine.
 
Πίνακας περιεχομένων1 Υπολογίσιμα και μη σύνολα 2 Αναδιαρθρωτική Υπολογισιμότητα
Πίνακας περιεχομένων
1 Υπολογίσιμα και μη σύνολα
2 Αναδιαρθρωτική Υπολογισιμότητα
3 Πεδία Έρευνας
3.1 Σχετική υπολογίστικότητα και βαθμοί Turing
23

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