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

(ICSD162) -  Efstathios Stamatatos

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

Ύλη Μαθήματος:

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

Βαθμολογία:

Ο τελικός βαθμός (ΤΒ) υπολογίζεται με βάση την επίδοση στην τελική εξέταση (ΤΕ) και τον βαθμό εργαστηρίου (ΒΕ) ως εξής:

ΤΒ = 0.8 * ΤΕ + 0.2 * ΒΕ, (TE>=5.0)

 

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

Τετάρτη 3 Οκτωβρίου 2012