Μάθημα : Διακριτά Μαθηματικά 26-27

Ύλη:

1. Είδη αποδεικτικών προτάσεων
2. Απόδειξη ύπαρξης
3. Απόδειξη καθολικότητας
4. Ευθεία απόδειξη
5. Απόδειξη με αντιθετοαντιστροφή
6. Απόδειξη με αντίφαση (εις άτοπον απαγωγή)
7. Απόδειξη ισοδυναμίας
8. Απόδειξη με περιπτώσεις (θα συνεχιστεί την επόμενη φορά)

Hunter (2η έκδοση) Ενότητα 1.5 "Αποδεικτικές μέθοδοι"

Υλικό:

Διαφάνειες σελ. 1-20

Πραγματοποιήθηκε επίλυση ασκήσεων σε Προτασιακό και Κατηγορηματικό Λογισμό. Σχετικό υλικό για Προτασιακό και για Κατηγορηματικό Λογισμό στην ενότητα Έγγραφα.

Ύλη:

1. Η έννοια του κατηγορήματος
2. Ποσοδείκτες και δέσμευση μεταβλητών
3. Εμβέλεια, προτεραιότητα και αρνήσεις
4. Μετάφραση από φυσική γλώσσα
5. Αντιπαραδείγματα

Hunter (2η έκδοση) σελ. 50-59, σελ. 70

Υλικό:

Διαφάνειες όλες οι σελίδες

Ύλη:

1. Κανόνες Ισοδυναμίας
2. Κανόνες Εξαγωγής Συμπερασμάτων
3. Αξιώματα
4. Επίλυση Sudoku με χρήση λογικών τύπων (εκτός ύλης εξέτασης)
5. Επίλυση ασκήσεων - φροντιστήριο. 

Hunter (2η έκδοση) σελ. 38-45 και 71-76

Υλικό:

Διαφάνειες σελ. 36 μέχρι τέλος

Ύλη:

1. Η έννοια της πρότασης - αλήθεια πρότασης. 
2. Λογικές Πράξεις - Πίνακες Αληθείας
3. Σύνθετες Προτάσεις
4. Ταυτολογία και Αντίφαση
5. Κανόνες Ισοδυναμίας

Hunter (2η έκδοση) σελ. 19-38

Υλικό:

Διαφάνειες σελ. 1-36

Έγινε καλωσόρισμα των νέων φοιτητών στο τμήμα. Αναφορά γενικά στις διαδικασίες του μαθήματος και στο περιεχόμενό του. 

Διαφάνειες