Βαθμοί Εξέτασης 12/07/2011: PDF
Προτασιακός Λογισμός: Γλώσσα, Μοναδική αναγνωσιμότητα, Λογικοί σύνδεσμοι, απονομές αλήθειας, σημασιολογικές έννοιες, επάρκεια συνδέσμων, διαζευκτική και συζευκτική κανονική μορφή, θεώρημα συμπάγειας προτασιακού λογισμού, εφαρμογές.
Πρωτοβάθμιος κατηγορηματικός λογισμός: Γλώσσα, μεταβλητές, έννοιες ελεύθερης και δεσμευμένης μεταβλητής, αντικατάσταση, αναλογία με τον προγραμματισμό, η έννοια της δομής, ερμηνεία της γλώσσας, ορισμός τής αλήθειας κατά Tarski.
Αξιωματικοποίηση της πρωτοβάθμιας Λογικής: Η έννοια του αξιωματικού συστήματος, αναλογίες με αλγοριθμικές έννοιες, η έννοια της συνέπειας, τα θεωρήματα της ορθότητας και τα θεωρήματα της πληρότητας του Gödel, και την αναποκρισιμότητα των Gödel-Church.
Αποδεικτική θεωρία προτασιακού και κατηγορηματικού λογισμού: Το σύστημα Gentzen, προτασιακή επίλυση, απαλοιφή των τομών, τα συστήματα tableau, η πληρότητα μέσω των συστημάτων tableau.
Οι σημειώσεις που θα δίδονται θα καλύπτουν ένα μεγάλο μέρος τού μαθήματος. Θα πρέπει να χρησιμοποιούνται μόνο σε συνδυασμό με την παρακολούθηση του μαθήματος, την οποία σε καμία περίπτωση δεν μπορούν να υποκαταστήσουν. Θα εμπλουτίζονται με ασκήσεις και πρόσθετες σημειώσεις ανάλογα με την πορεία διεξαγωγής τού μαθήματος.
Σημειώσεις έως και θεώρημα πληρότητας: Postscript, PDF
Ασκήσεις
webmaster@math.ntua.gr