Υπολογισιμότητα και πολυπλοκότητα

• Main Authors: Zachos, Efstathios, Pagourtzis, Aristeidis, Souliou, Theodora, Ζάχος, Ευστάθιος, Παγουρτζής, Αριστείδης, Σούλιου, Θεοδώρα
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΑΛΓΟΡΙΘΜΟΙ; ΑΛΓΟΡΙΘΜΟΙ ΑΝΑΖΗΤΗΣΗΣ; ΑΛΓΟΡΙΘΜΟΙ ΤΑΞΙΜΟΜΗΣΗΣ; ΑΛΓΟΡΙΘΜΙΚΗ ΣΚΕΨΗ; ΑΛΓΟΡΙΘΜΟΙ ΓΡΑΦΗΜΑΤΩΝ; ΑΛΓΟΡΙΘΜΟΙ ΣΥΜΒΟΛΟΣΕΙΡΩΝ; ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ; ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ; ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ; ΑΥΤΟΜΑΤΑ; ΘΕΩΡΙΑ ΓΡΑΦΩΝ; ΤΥΠΙΚΕΣ ΓΛΩΣΣΕΣ; ΓΡΑΜΜΑΤΙΚΕΣ; ΠΑΡΑΛΛΗΛΟΙ ΑΛΓΟΡΙΘΜΟΙ; ΚΑΤΑΝΕΜΗΜΕΝΟΙ ΑΛΓΟΡΙΘΜΟΙ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; ΛΟΓΙΚΗ ΚΑΙ ΚΥΚΛΩΜΑΤΑ; ΚΡΥΠΤΟΓΡΑΦΙΑ; ΛΟΓΙΚΗ; ΛΟΓΙΚΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ; Algorithms; Search Algorithms; Sorting Algorithms; Algorithmic Composition; Graphs; Graph Algorithms; Graph Theory; String Algorithms; Computability; Computational Complexity; Data Structures; Automata; Formal Languages; Grammars; Parallel Algorithms; Distributed Algorithms; Knowledge Representation And Reasoning; Logic And Circuits; Logic; Logic For Computer Science

Βασικές έννοιες θεωρίας υπολογισμού. Υπολογιστικά προβλήματα. Μοντέλα υπολογισμού.<br/>Μη υπολογισιμότητα: Goedel, Turing, Church. Το Πρόβλημα Τερματισμού. Υπολογιστική Πολυπλοκότητα: Hartmanis, Cook, Karp. Κλάσεις P και NP, PSPACE και NP. Αναγωγές και πληρότητα. NP-πλήρη προβλήματα....