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

(2078) -  ΓΕΩΡΓΙΟΣ ΚΩΣΤΟΠΟΥΛΟΣ

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

Το μάθημα «Λογική για υπολογιστές» αποτελεί μια εισαγωγή στη Μαθηματική Λογική και τον ρόλο που αυτή παίζει στην Επιστήμη των Υπολογιστών. Εξετάζει βασικές έννοιες από τον Προτασιακό και τον Κατηγορηματικό Λογισμό. Ένα μέρος του μαθήματος θα αφιερωθεί στον Λογικό Προγραμματισμό και σε εφαρμογές στην Τεχνητή Νοημοσύνη.

Με την επιτυχή συμπλήρωση του μαθήματος «Λογική για Υπολογιστές» οι φοιτητές θα είναι σε θέση να:

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

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

Πέμπτη 1 Απριλίου 2021