[A] - (ΨΣ-014) - Λογική και Λογικός Προγραμματισμός

Α. Μηλιώνης

Περιγραφή

Πιστωτικές Μονάδες (ECTS): 5

Στόχος

Στόχος του μαθήματος είναι η εισαγωγή στο συντακτικό και στη σημασιολογία του προτασιακού και του κατηγορηματικού λογισμού, η κατανόηση και χρήση των συστημάτων αποδείξεων (συστήματα φυσικής συμπερασματολογίας (natural deduction)), του προτασιακού και κατηγορηματικού λογισμού και τέλος η κατανόηση των θεωρημάτων ορθότητας και πληρότητας των συστημάτων αποδείξεων.

Περιεχόμενα

  • Προτασιακός Λογισμός: Γλώσσα, σύνταξη (syntax) και σημασιολογία (semantics), Μοναδική αναγνωσιμότητα, Λογικοί σύνδεσμοι, απονομές αλήθειας, σημασιολογικές έννοιες, επάρκεια συνδέσμων, διαζευκτική και συζευκτική κανονική μορφή, εφαρμογές.
  • Πρωτοβάθμιος κατηγορηματικός λογισμός: Γλώσσα, μεταβλητές, έννοιες ελεύθερης και δεσμευμένης μεταβλητής, αντικατάσταση, αναλογία με τον προγραμματισμό, η έννοια της δομής, ερμηνεία της γλώσσας, ορισμός της αλήθειας κατά Tarski.
  • Αποδεικτική θεωρία προτασιακού και κατηγορηματικού λογισμού: Αποδεικτικές διαδικασίες Natural Deduction, Tableaux και Επ
Περισσότερα  
Κωδικός: DS254
Κατηγορία: Προπτυχιακο Πρόγραμμα Σπουδών (Π.Π.Σ.) » Μαθήματα

Ημερολόγιο

Ανακοινώσεις

  • - Δεν υπάρχουν ανακοινώσεις -