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

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

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