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

Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση
μ
Διόρθωση επικεφαλίδων.
μ (→‎Επιπλέον Σύνδεσμοι: εδώ καλύτερα σύμφωνα με την περιγραφή της κατηγορίας)
μ (Διόρθωση επικεφαλίδων.)
κοινοτήτων, ωστόσο δεν μπορούν να διαχωριστούν εντελώς. Για παράδειγμα η παραμετρική πολυπλοκότητα, εφευρέθηκε από τον θεωρητικό της πολυπλοκότητας, Michael Fellows και τον θεωρητικό της αναδρομής Rod Downey.
 
=== Υπολογίσιμα και μη υπολογίσιμα σύνολα ===
 
Η Αναδρομή θεωρία προέρχεται από τη δεκαετία του 1930, με το έργο του [[Kurt Gödel , Alonzo Church , Alan Turing , Stephen Kleene]] και[[Emil Post| Emil Post.]]
 
1.583

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

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