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

καμία σύνοψη επεξεργασίας
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας
Χωρίς σύνοψη επεξεργασίας
Γραμμή 5:
Η Θεωρία της Αναδρομής συνδυάζεται με την Θεωρία των Αποδείξεων,με την Αποτελεσματική Περιγραφική Θεωρία Συνόλων, την [[Θεωρία μοντέλων|Θεωρια Μοντέλων]] και την Αφηρημένη Άλγεβρα. Μάλιστα, Θα μπορούσαμε να χαρακτηρίσουμε ότι η Θεωρία της Πολυπλοκότητας είναι γέννημα της Αναδρομικής Θεωρίας καθώς και οι δύο μοιράζονται ίδιο τεχνικό εργαλείο ,δηλαδή τη μηχανή Turing.
 
Οι θεωρητικοί της Αναδρομής στη μαθηματική λογική συχνά μελετούν τη θεωρία της σχετικής υπολογιστικότητας. Αυτό έρχεται σε αντίθεση με τη θεωρία της αναδρομικής ιεραρχίας, επίσημων μεθόδων και επίσημων γλωσσών, το οποίο είναι σύνηθες στην μελέτη της υπολογιστικής θεωρίας και της Πληροφορικής. Υπάρχει ένα αξιοσημείωτο κενό στις γνώσεις και στις μεθόδους μεταξύ των δύο ερευνιτικώνερευνητικών
κοινοτήτων, ωστοσοωστόσο δεν μπορούν να διαχωριστούν εντελώς. Για παράδειγμα η παραμετρική πολυπλοκότητα, εφευρέθηκε αποαπό τον θεωρητικό της πολυπλοκότητας, Michael Fellows και τον θεωρητικό της αναδρομής Rod Downey.
 
Πίνακας περιεχομένων
1 Υπολογίσιμα και μη σύνολα
2 Αναδιαρθρωτική Υπολογισιμότητα
3 Πεδία Έρευνας
3.1 Σχετική υπολογίστικότητα και βαθμοί Turing
3.2 Άλλες Αναγωγισιμότητες
3.3 Το Θεώρημα του Rice και η Αριθμητική Ιεραρχία
3.4 Αντίστροφα Μαθηματικά
ιεραρχίας, επίσημων μεθόδων και επίσημων γλωσσών, το οποίο είναι σύνηθες στην μελέτη της υπολογιστικής θεωρίας και της Πληροφορικής. Υπάρχει ένα αξιοσημείωτο κενό στις γνώσεις και στις μεθόδους μεταξύ των δύο ερευνιτικών κοινοτήτων, ωστοσο δεν μπορούν να διαχωριστούν εντελώς. Για παράδειγμα η παραμετρική πολυπλοκότητα, εφευρέθηκε απο τον θεωρητικό της πολυπλοκότητας, 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 Σημειώσεις
ιεραρχίας, επίσημων μεθόδων και επίσημων γλωσσών, το οποίο είναι σύνηθες στην μελέτη της υπολογιστικής θεωρίας και της Πληροφορικής. Υπάρχει ένα αξιοσημείωτο κενό στις γνώσεις και στις μεθόδους μεταξύ των δύο ερευνιτικών κοινοτήτων, ωστοσο δεν μπορούν να διαχωριστούν εντελώς. Για παράδειγμα η παραμετρική πολυπλοκότητα, εφευρέθηκε απο τον θεωρητικό της πολυπλοκότητας, 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 Σημειώσεις
ιεραρχίας, επίσημων μεθόδων και επίσημων γλωσσών, το οποίο είναι σύνηθες στην μελέτη της υπολογιστικής θεωρίας και της Πληροφορικής. Υπάρχει ένα αξιοσημείωτο κενό στις γνώσεις και στις μεθόδους μεταξύ των δύο ερευνιτικών κοινοτήτων, ωστοσο δεν μπορούν να διαχωριστούν εντελώς. Για παράδειγμα η παραμετρική πολυπλοκότητα, εφευρέθηκε απο τον θεωρητικό της πολυπλοκότητας, 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 Επιπλέον Σύνδεσμοι
 
Υπολογίσιμα και μη υπολογίσιμα σύνολα.
Ανώνυμος χρήστης