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

• Κύριοι συγγραφείς: Zachos, Efstathios, Pagourtzis, Aristeidis, Souliou, Theodora, Ζάχος, Ευστάθιος, Παγουρτζής, Αριστείδης, Σούλιου, Θεοδώρα
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΑΛΓΟΡΙΘΜΟΙ; ΑΛΓΟΡΙΘΜΟΙ ΑΝΑΖΗΤΗΣΗΣ; ΑΛΓΟΡΙΘΜΟΙ ΤΑΞΙΜΟΜΗΣΗΣ; ΑΛΓΟΡΙΘΜΙΚΗ ΣΚΕΨΗ; ΑΛΓΟΡΙΘΜΟΙ ΓΡΑΦΗΜΑΤΩΝ; ΑΛΓΟΡΙΘΜΟΙ ΣΥΜΒΟΛΟΣΕΙΡΩΝ; ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ; ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ; ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ; ΑΥΤΟΜΑΤΑ; ΘΕΩΡΙΑ ΓΡΑΦΩΝ; ΤΥΠΙΚΕΣ ΓΛΩΣΣΕΣ; ΓΡΑΜΜΑΤΙΚΕΣ; ΠΑΡΑΛΛΗΛΟΙ ΑΛΓΟΡΙΘΜΟΙ; ΚΑΤΑΝΕΜΗΜΕΝΟΙ ΑΛΓΟΡΙΘΜΟΙ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; ΛΟΓΙΚΗ ΚΑΙ ΚΥΚΛΩΜΑΤΑ; ΚΡΥΠΤΟΓΡΑΦΙΑ; ΛΟΓΙΚΗ; ΛΟΓΙΚΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ; 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-πλήρη προβλήματα.