Μαθηματική Λογική

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