Κωδικός Μαθήματος: DI361
ECTS: 6
Πρόγραμμα Σπουδών: Προπτυχιακό Πρόγραμμα Σπουδών
Εξάμηνο Διδασκαλίας: ΣΤ' Εξάμηνο
Τύπος Μαθήματος
Επιλογής
Κατεύθυνση ΓΝΜ: Ελεύθερης Επιλογής
Κατεύθυνση ΘΡΜ: Ελεύθερης Επιλογής
Κατεύθυνση ΕΦΜ: Ελεύθερης Επιλογής
Κατεύθυνση ΠΛΗ: Ελεύθερης Επιλογής
Κατεύθυνση ΣΠΕ: Ελεύθερης Επιλογής
Ώρες Διδασκαλίας (Θεωρία / Φροντιστήριο / Εργαστήριο): 2-2-0
Διδάσκοντες: Καραζέρης Παναγής
Σελίδα μαθήματος στο eClass : https://eclass.upatras.gr/courses/MATH1213/
Φοιτητές Erasmus: Όχι
Περιγραφή
Η γλώσσα του προτασιακού λογισμού, αποτιμήσεις αλήθειας, αληθοπίνακες, ταυτολογίες και λογική ισοδυναμία. Επάρκεια λογικών συνδέσμων, κανονικές μορφές και λογικά κυκλώματα. Άλγεβρα Boole. Η έννοια της λογικής συνέπειας. Τυπικές αποδείξεις, ορθότητα, πληρότητα. Η γλώσσα του κατηγορηματικού λογισμού, τύποι, προτάσεις. Αποτιμήσεις μεταβλητών, σημασιολογία και η έννοια της αλήθειας. Λογική εγκυρότητα, χειρισμός των ποσοδεικτών και κανονικές μορφές. Συμπαγότητα και εφαρμογές.