Μάθημα : Σημασιολογία στην Επιστήμη των Υπολογιστών

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