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

(MATH1277) -  Παναγής Καραζέρης

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

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

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

Κυριακή, 18 Φεβρουαρίου 2024