Διακριτά Μαθηματικά (CEID_NNY101 (NY109))

Ύλη:

1. Αποδείξεις κατά Περίπτωση
2. Αποδείξεις Ισοδυναμίας
3. Αποδείξεις για Ποσοτικοποιημενες Προτάσεις (εποικοδομητική και μη εποικοδομητική απόδειξη ύπαρξης - αντιπαράδειγμα)
4. (Ισχυρή) Μαθηματική Επαγωγή

Rosen σελ. 83-85, 87-101 (κάποιες από αυτές τις σελίδες θα αναφερθούν σε επόμενη διάλεξη), 300-324

Υλικό:

Διαφάνειες σελ. 8-12, 16-17, 19-20, 27-33

Η ύλη όσον αφορά τον κατηγορηματικό λογισμό και τις μεθόδους απόδειξης περιέχεται και στην εξής διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21: 1 2