Τμήμα : Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Τομέας : Πληροφορικής
Κωδικός : ΜΛ3588
Εξάμηνο : 6ο
Ροή : Λ : Λογισμικό Η/Υ
Κατ' επιλογήν υποχρεωτικό.
Ώρες Θεωρίας : 3
Ώρες Εργαστηρίου : 0
ΔΕΠ :
Γ. Κολέτσος, Αναπληρωτής Καθηγητής.
Περιεχόμενο του μαθήματος :
Προτασιακός Λογισμός: Γλώσσα, Μοναδικά αναγνωσιμότητα, Λογικοί σύνδεσμοι, απονομές αλήθειας, σημασιολογικές έννοιες, επάρκεια συνδέσμων, διαζευκτική και συζευκτική κανονική μορφή, θεώρημα συμπάγειας προτασιακοί λογισμού, Εφαρμογές. Πρωτοβάθμιος κατηγορηματικός λογισμός: Γλώσσα, μεταβλητές, έννοιες ελεύθερης και δεσμευμένης μεταβλητής, αντικατάσταση, αναλογία με τον προγραμματισμό, η έννοια της δομής, ερμηνεία της γλώσσας, ορισμός της αλήθειας κατά Tarski. Αξιωματικοποίηση της πρωτοβάθμιας Λογικής: Η έννοια του αξιωματικού συστήματος, αναλογίες με αλογοριθμικές έννοιες, η έννοια της συνέπειας, τα θεωρήματα της ορθότητας και τα θεωρήματα της πληρότητας του Codel, και την ανταποκρισιμότητα των Codel-Church. Αποδεικτική θεωρία προτασιακού και κατηγορηματικού λογισμού: Το σύστημα Gentzen, προτασιακό resolution, απαλοιφή των τομών, τα συστήματα tableau, η πληρότητα μέσω των συστημάτων tableau.