Θεμελιώδεις έννοιες της Θεωρητικής Επιστήμης των Υπολογιστών είναι ο αλγόριθμος και το πρόγραμμα. Μια μηχανικά εκτελέσιμη υπολογιστική διαδικασία αποτελεί αλγόριθμο. Το θεωρητικό μέρος της Επιστήμης Υπολογιστών ασχολείται με τη σχεδίαση, τη δημιουργία και την αναπαράσταση των αλγορίθμων.
Η μεταφορά του αλγορίθμου σε μια μορφή κατανοητή από τον ηλεκτρονικό υπολογιστή, δηλαδή σε μια γλώσσα προγραμματισμού, δημιουργεί ένα πρόγραμμα.
Στη Θεωρητική Επιστήμη των Υπολογιστών εξετάζονται τεχνικές σχεδίασης προγραμμάτων και μελετώνται οι γλώσσες προγραμματισμού. Ένας άλλος τομέας της θεωρητικής Πληροφορικής ασχολείται με τα δεδομένα και τους τρόπους οργάνωσης αυτών, τις δομές δεδομένων. Στο θεωρητικό μέρος της Επιστήμης Υπολογιστών ανήκει επίσης ο τομέας της θεωρίας υπολογισμού.
Ο τομέας αυτός αποτελεί τη μαθηματική βάση της Επιστήμης των Υπολογιστών που έχει ως αντικείμενο να εκφράσει και να μελετήσει, με τη χρήση μαθηματικών μοντέλων, τη λειτουργία των υπολογιστικών μηχανών, την υπολογισιμότητα των προβλημάτων (αν μπορούν ή όχι να επιλυθούν από υπολογιστή), καθώς και τους υπολογιστικούς πόρους που απαιτούνται για την επίλυση προβλημάτων.
Λέξεις κλειδιά
Θεωρητική Επιστήμη των Υπολογιστών
- Επίλυση Προβλημάτων Αλγόριθμοι
- Ανάλυση Αλγορίθμων
- Δομές Δεδομένων
- Μέθοδοι Προγραμματισμού
- Γλώσσες Προγραμματισμού
- Μεταγλωττιστές
- Θεωρία Αυτομάτων
- Θεωρία Υπολογισμών
- Θεωρία Πολυπλοκότητας
- Τεχνολογία Λογισμικού
