Προτασιακός Λογισμός: Γλώσσα, Μοναδικά αναγνωσιμότητα, Λογικοί σύνδεσμοι, από-
νομές αλήθειας, σημασιολογικές έννοιες, επάρκεια συνδέσμων, διαζευκτική και συ-
ζευκτική κανονική μορφή, θεώρημα συμπάγειας προτασιακού λογισμού, Εφαρμογές.
Πρωτοβάθμιος κατηγορηματικός λογισμός: Γλώσσα, μεταβλητές, έννοιες ελεύθερης
και δεσμευμένης μεταβλητής, αντικατάσταση, αναλογία με τον προγραμματισμό, η
έννοια της δομής, ερμηνεία της γλώσσας, ορισμός της αλήθειας κατά Tarski.
Αξιωματικοποίηση της πρωτοβάθμιας Λογικής: H έννοια του αξιωματικού συστήματος,
αναλογίες με αλγοριθμικές έννοιες, η έννοια της συνέπειας, τα θεωρήματα της
ορθότητας και τα θεωρήματα της πληρότητας του Gödel, και την ανταποκρισιμότητα των
Gödel-Church. Αποδεικτική θεωρία προτασιακού και κατηγορηματικού λογισμού: Το
σύστημα Gentzen, προτασιακού και κατηγορηματικού λογισμού: Το σύστημα Gentzen,
προτασιακό resolution, απαλοιφή των τιμών, τα συστήματα tableau, η πληρότητα μέσω
των συστημάτων tableau.
- Διδάσκων: Γεώργιος Κολέτσος
- Διδάσκων: Πετρος Ποτικας
Διδακτικές Μονάδες : 5
Γλώσσα : el