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

Ο όρος αφαίρεση (abstraction) αναφέρεται στη διάκριση µεταξύ των εξωτερικών ιδιοτήτων µιας οντότητας και των λεπτοµερειών της εσωτερικής της σύνθεσης.
Αφηρηµένα εργαλεία είναι τα συστατικά στοιχεία ενός συστήµατος, των οποίων αγνοούµε την εσωτερική τους σύνθεση.

Οι διαλέξεις του μαθήματος θα πραγματοποιούνται κάθε Δευτέρα 10-11 και κάθε Τρίτη και Τετάρτη 8-9 ενώ οι ασκήσεις/τεστς θα πραγματοποιούνται κάθε δεύτερη Δευτέρα 8-10.