Abstract: |
Βασικές έννοιες θεωρίας υπολογισμού. Υπολογιστικά προβλήματα. Μοντέλα υπολογισμού. Μη υπολογισιμότητα: Goedel, Turing, Church. Το Πρόβλημα Τερματισμού. Υπολογιστική Πολυπλοκότητα: Hartmanis, Cook, Karp. Κλάσεις P και NP, PSPACE και NP. Αναγωγές και πληρότητα. NP-πλήρη προβλήματα.
|
Bibliographic Reference: |
Zachos, E., Pagourtzis, A., & Souliou, T. (2015). Υπολογισιμότητα και πολυπλοκότητα [Chapter]. In Zachos, E., Pagourtzis, A., & Souliou, T. 2015. Θεμελίωση επιστήμης υπολογιστών [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/5462
|