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

Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση
καμία σύνοψη επεξεργασίας
Η Θεωρία της Αναδρομής συνδυάζεται με την Θεωρία των Αποδείξεων,με την Αποτελεσματική Περιγραφική Θεωρία Συνόλων, την [[Θεωρία μοντέλων|Θεωρια Μοντέλων]] και την Αφηρημένη Άλγεβρα. Μάλιστα, Θα μπορούσαμε να χαρακτηρίσουμε οτι η Θεωρία της Πολυπλοκότητας είναι γέννημα της Αναδρομικής Θεωρίας καθώς και οι δύο μοιράζονται ίδιο τεχνικό εργαλείο ,δηλαδή το Turing Machine.
 
Πίνακας περιεχομένων
Πίνακας περιεχομένων1 Υπολογίσιμα και μη σύνολα 2 Αναδιαρθρωτική Υπολογισιμότητα
 
1 Υπολογίσιμα και μη σύνολα
 
Πίνακας περιεχομένων1 Υπολογίσιμα και μη σύνολα 2 Αναδιαρθρωτική Υπολογισιμότητα
 
3 Πεδία Έρευνας
 
3.1 Σχετική υπολογίστικότητα και βαθμοί Turing
 
3.2 Άλλες Αναγωγισιμότητες
3.3 Το Θεώρημα του Rice και η Αριθμητική Ιεραρχία
 
3.4 Αντίστροφα Μαθηματικά
 
3.5 Αριθμήσεις
 
3.6 Η μέθοδος της Προτεραιότητας
 
3.7 Το δικτυωτό των Αναδρομικά Αριθμήσιμων Συνόλων
 
3.8 Προβλήματα Αυτομορφισμού
 
3.9 Πολυπλοκότητα του Kolmogorov
 
3.10 Υπολογισμός Συχνότητας
 
3.11 Επαγωγικά Συμπεράσματα
 
3.12 Γενικεύσεις της υπολογισιμότητας Turing
 
3.13 Συνεχής θεωρία υπολογισιμότητας
 
4 Σχέσεις μεταξύ Προσδιορισιμότητας και Υπολογισιμότητας
 
5 Όνομα του υποκειμένου
 
6 Επαγγελματικές οργανώσεις
 
7 Δείτε επίσης
 
8 Σημειώσεις
 
9 Αναφορές
 
10 Επιπλέον Σύνδεσμοι
 
23

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

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