Λογική για υπολογιστές

Κωδικός μαθήματος
λογ-υπο
Μονάδες ECTS
5
Εξάμηνο
Εξάμηνο Η
Κατηγορία μαθήματος

Μαθήματα Κατεύθυνσης

Μαθήματα Κατεύθυνσης

Κατεύθυνση
Επιλογής Κατεύθυνσης Πληροφορικής
Περιγραφή μαθήματος
ΠΕΡΙΕΧΟΜΕΝΟ ΜΑΘΗΜΑΤΟΣ

Περιεχόμενα: Προτασιακή Λογική και Πρωτοβάθμια Λογική (Σύνταξη, Σημασιολογία, Ορθότητα, Πληρότητα). Στοιχεία Θεωρίας Αποδείξεων (Hilbert systems, tableaux, Gentzen systems). Στοιχεία Λογικού Προγραμματισμού. Μη κλασικές Λογικές (modal, temporal, non-monotonic logic) και εφαρμογές στην Τεχνητή Νοημοσύνη.

ΑΞΙΟΛΟΓΗΣΗ ΦΟΙΤΗΤΩΝ

Αξιολόγηση: Γραπτή εξέταση στο τέλος του εξαμήνου. Ενδέχεται να δοθούν προαιρετικές εργασίες.

Μέθοδοι αξιολόγησης: Ερωτήσεις σύντομης απάντησης, Ερωτήσεις πολλαπλής επιλογής, Επίλυση προβλημάτων.

URL ΜΑΘΗΜΑΤΟΣ ΣΤΟ ECLASS

-

ΣΥΝΙΣΤΩΜΕΝΗ ΒΙΒΛΙΟΓΡΑΦΙΑ

Βιβλιογραφία:

  1. H. B. Enderton, Μία μαθηματική εισαγωγή στη Λογική, η έκδοση, Πανεπιστημιακές Εκδόσεις Κρήτης, 2013. Κωδικός στον Εύδοξο: 32998373
  2. Γ. Τουρλάκης, Μαθηματική Λογική: θεωρία και πράξη, 1η έκδοση, Πανεπιστημιακές Εκδόσεις Κρήτης, 2012. Κωδικός στον Εύδοξο: 12405096
  3. Χ. Χαρτώνας, Βασική Λογική, Ζήτη, 2000. Κωδικός στον Εύδοξο: 11127