Επιστήμη των Υπολογιστών
Στόχοι του κεφαλαίου είναι οι μαθητές
- να περιγράφουν τους βασικούς τομείς της Επιστήμης των Υπολογιστών και
- να μπορούν να αναφερθούν στα πεδία τόσο της Θεωρητικής όσο και σε αυτά της Εφαρμοσμένης Επιστήμης των Υπολογιστών.
1.1 Η Επιστήμη των Υπολογιστών
Η Επιστήμη των Υπολογιστών μελετά τα θεωρητικά θεμέλια και τη φύση των πληροφοριών, των αλγορίθμων και των υπολογισμών, καθώς και τις τεχνολογικές εφαρμογές τους σε αυτοματοποιημένα υπολογιστικά συστήματα, από τις σκοπιές σχεδίασης, ανάπτυξης, υλοποίησης, διερεύνησης και ανάλυσης. Η Επιστήμη των Υπολογιστών διακρίνεται σε δύο μεγάλες ενότητες: τη Θεωρητική και την Εφαρμοσμένη.
1.2 Θεωρητική Επιστήμη των Υπολογιστών
Η Θεωρητική Επιστήμη των Υπολογιστών (Theoretical Computer Science) ερευνά κυρίως το σχεδιασμό των αλγορίθμων και των υπολογιστικών μεθόδων που χρησιμοποιούνται για την άντληση, την επεξεργασία, την ανάλυση και την αποθήκευση πληροφοριών. Βασικές έννοιες της Θεωρητικής Επιστήμης των Υπολογιστών, είναι η Ανάλυση Αλγορίθμων, η Θεωρία Υπολογισιμότητας και η Θεωρία Πολυπλοκότητας. Υπάρχει μία διαρκής αλληλεπίδραση μεταξύ της Θεωρητικής και της Εφαρμοσμένης Επιστήμης των Υπολογιστών. Για παράδειγμα, η Θεωρία Γλωσσών Προγραμματισμού, η οποία μελετά προσεγγίσεις για την περιγραφή των υπολογισμών, οδηγεί στην ανάπτυξη γλωσσών προγραμματισμού και το σχεδιασμό λογισμικού και εφαρμογών.
1.3 Εφαρμοσμένη Επιστήμη των Υπολογιστών
H Εφαρμοσμένη Επιστήμη των Υπολογιστών (Applied Computer Science) μελετά τρόπους εφαρμογής της Θεωρίας των Υπολογιστών για την επίλυση προβλημάτων στον πραγματικό κόσμο. Βασικά επιστημονικά πεδία που εντάσσονται στην Εφαρμοσμένη Επιστήμη των Υπολογιστών είναι: