Θεμελίωση Επιστήμης Υπολογιστών

Abstract

Το βιβλίο αποσκοπεί στο να καλύψει την ύλη ενός μαθήματος (ή περισσοτέρων) εισαγωγής στην επιστήμη των υπολογιστών, δεύτερου ή τρίτου έτους σπουδών. Αποτελείται από δύο μέρη: -Το πρώτο μέρος περιλαμβάνει μια εκτενή εισαγωγή στα πιο σημαντικά θέματα της Θεωρητικής Επιστήμης των Υπολογιστών, όπως αλγόριθμους, υπολογισιμότητα, πολυπλοκότητα, μοντέλα υπολογισμού, θεωρία γραφημάτων, παράλληλους και κατανεμημένους υπολογισμούς. - Το δεύτερο μέρος αποτελείται από επί μέρους ενότητες που εστιάζουν σε θέματα Εφαρμοσμένης Επιστήμης των Υπολογιστών, όπως βάσεις δεδομένων, γραφική με υπολογιστές, κρυπτογραφία και ασφάλεια, υπολογιστική βιολογία, αλγοριθμική θεωρία παιγνίων, αναπαράσταση και χειρισμό γνώσης, διαδικτυακές τεχνολογίες. Δίνεται ιδιαίτερη έμφαση στην αυστηρή μαθηματική θεμελίωση των εννοιών και των τεχνικών που παρουσιάζονται.

The book aims to cover the material of one (or more) introductory courses in computer science, in the second or third year of study. It consists of two parts: -The first part includes an extensive introduction to the most important topics in Theoretical Computer Science, such as algorithms, computability, complexity, computation models, graph theory, parallel and distributed computing. - The second part consists of individual modules focusing on topics in Applied Computer Science, such as databases, computer graphics, cryptography and security, computational biology, algorithmic game theory, knowledge representation and management, and web technologies. Particular emphasis is placed on the rigorous mathematical foundation of the concepts and techniques presented.