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

καμία σύνοψη επεξεργασίας
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας
Χωρίς σύνοψη επεξεργασίας
Γραμμή 7:
κοινοτήτων, ωστόσο δεν μπορούν να διαχωριστούν εντελώς. Για παράδειγμα η παραμετρική πολυπλοκότητα, εφευρέθηκε από τον θεωρητικό της πολυπλοκότητας, Michael Fellows και τον θεωρητικό της αναδρομής Rod Downey.
 
# Πίνακας περιεχομένων
# 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 Επιπλέον Σύνδεσμοι
 
== '''Υπολογίσιμα και μη υπολογίσιμα σύνολα.''' ==
 
Η Αναδρομή θεωρία προέρχεται από τη δεκαετία του 1930, με το έργο του Kurt Gödel , Alonzo Church , Alan Turing , Stephen Kleene και Emil Post.
Ανώνυμος χρήστης