Please ensure Javascript is enabled for purposes of website accessibility

Παρουσίαση/Προβολή

Εικόνα επιλογής

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

(CEID1184) -  Σταύρος Κοσμαδάκης

Περιγραφή Μαθήματος

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

Ημερομηνία δημιουργίας

Τρίτη, 17 Μαρτίου 2020