Θεωρία υπολογισιμότητας: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 7:
κοινοτήτων, ωστόσο δεν μπορούν να διαχωριστούν εντελώς. Για παράδειγμα η παραμετρική πολυπλοκότητα, εφευρέθηκε από τον θεωρητικό της πολυπλοκότητας, Michael Fellows και τον θεωρητικό της αναδρομής Rod Downey.
Πίνακας περιεχομένων<br/ >
1
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/ >
== '''Υπολογίσιμα και μη υπολογίσιμα σύνολα.''' ==
| |||