Θεμέλια Θεωρητικής Πληροφορικής

Σκοπός αυτού του μαθήματος είναι η εισαγωγή των βασικών εννοιών, τεχνικών και μεθόδων που είναι απαραίτητες στην επιστήμη των υπολογιστών. Πιο συγκεκριμένα, οι φοιτητές θα αποκτήσουν τις βασικές εκείνες γνώσεις από τα διακριτά μαθηματικά και τη μαθηματική λογική πάνω στις οποίες θεμελιώνεται η επιστήμη των υπολογιστών και θα αποκτήσουν ουσιαστική επαφή με τις έννοιες της υπολογιστικής πολυπλοκότητας, των μοντέλων δεδομένων που χρησιμοποιούνται για την περιγραφή προβλημάτων και των δομών δεδομένων που χρησιμοποιούνται για την επίλυσή τους.