Παρουσίαση/Προβολή

(ΜΕ84) -  ΣΤΕΦΑΝΟΣ ΑΪΒΑΖΙΔΗΣ

Περιγραφή Μαθήματος

Στο παρόν μάθημα θα μελετήσουμε βασικές έννοιες της Λογικής. Αρχικά θα δούμε μερικές βασικές έννοιες από την Θεωρία Συνόλων. Μερικά από τα θέματα με τα οποία θα ασχοληθούμε στη συνέχεια: Η γλώσσα του Προτασιακού Λογισμού, αποτιμήσεις αλήθειας, αληθοπίνακες, ταυτολογίες, αντιλογίες και λογική ισοδυναμία προτάσεων. Επάρκεια λογικών συνδέσμων, κανονικές μορφές. Η έννοια της λογικής συνέπειας, ορθότητα, πληρότητα, συστήματα τυπικών αποδείξεων. Λογικά κυκλώματα, Άλγεβρα Boole. Η γλώσσα της Κατηγορηματικής Λογικής, ελεύθερες και δεσμευμένες μεταβλητές, αποτιμήσεις. Τα Θεωρήματα Εγκυρότητας, Πληρότητας και Συμπάγειας της Κατηγορηματικής Λογικής

Ημερομηνία δημιουργίας

Δευτέρα 24 Μαρτίου 2025