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

Ύλη:

1. Ορισμός Συνόλων
2. Οι Σχέσεις υποσύνολο και ανήκει
3. Πράξεις Συνόλων
4. Καρτεσιανό Γινόμενο

Hunter σελ. 111-120

Υλικό:

Διαφάνειες σελ. 30-66

Ασκήσεις

Βιντεοσκοπημένη Διάλεξη από 20-21 (Προσοχή: μπορεί η ύλη να μη συμπίπτει πλήρως με αυτή της τρέχουσας διάλεξης)

Βιντεοσκοπημένη Διάλεξη από 20-21 (Προσοχή: μπορεί η ύλη να μη συμπίπτει πλήρως με αυτή της τρέχουσας διάλεξης)

Ύλη:

1. Επίλυση Άσκησης σε Ισχυρή Επαγωγή (διαφάνειες σελ. 48-49)
2. Εφαρμογές Γραφημάτων
3. Βασικές Έννοιες Γραφημάτων (κομβος, ακμή, τύποι γραφημάτων, βαθμός (και έσω και έξω βαθμός)).

Hunter σελ. 93-102

Υλικό:

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

Ύλη:

1. Η Αρχή της Επαγωγής
2. Ισχυρή Επαγωγή

Hunter σελ. 236-246

Υλικό:

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

Ύλη:

1. Αποδείξεις καθολικών προτάσεων - η έννοια του αντιπαραδείγματος
2. Βασικά στοιχεία θεωρίας αριθμών: 
   1. Διαιρετότητα και ιδιότητες
   2. Πρώτοι αριθμοί
   3. ΜΚΔ και ιδιότητες
   4. Βαθμιδωτή αριθμητική (mod)
   5. Γεννήτριες ψευδοτυχαίων αριθμών

Hunter σελ. 70-74

Υλικό:

Διαφάνειες σελ. 19-35

Ασκήσεις

Βιντεοσκοπημένη Διάλεξη από 20-21 (Προσοχή: μπορεί η ύλη να μη συμπίπτει πλήρως με αυτή της τρέχουσας διάλεξης)

Βιντεοσκοπημένη Διάλεξη από 20-21 (Προσοχή: μπορεί η ύλη να μη συμπίπτει πλήρως με αυτή της τρέχουσας διά

Ύλη: 

1. Άμεση Απόδειξη
2. Έμμεση Απόδειξη
3. Απόδειξη με Αντίφαση
4. Απόδειξη κατά Περίπτωση
5. Απόδειξη Ισοδυναμίας
6. Αποδείξεις Ύπαρξης - Μοναδικότητας

Hunter σελ. 81-89

Υλικό:

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

Βιντεοσκοπημένη Διάλεξη από 20-21 (Προσοχή: μπορεί η ύλη να μη συμπίπτει πλήρως με αυτή της τρέχουσας διάλεξης)

Ύλη:

Έγιναν ασκήσεις από τον κ. Κωνσταντόπουλο σε προτασιακή και κατηγορηματική λογική.

Υλικό:

Επιπλέον απλές ασκήσεις σε κατηγορηματική λογική.

Ύλη:

1. Ποσοδείκτες - Κατηγορήματα
2. Δεσμευμένες-Ελεύθερες Μεταβλητές
3. Άρνηση Λογικών Προτάσεων με Ποσοδείκτες
4. Μετάφραση από φυσική γλώσσα σε λογική έκδραση με ποσοδείκτες και αντίστροφα
5. Παραδείγματα

Hunter σελ. 50-59

Υλικό:

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

Βιντεοσκοπημένη Διάλεξη - 1 από 20-21 (Προσοχή: μπορεί η ύλη να μη συμπίπτει πλήρως με αυτή της τρέχουσας διάλεξης)

Βιντεοσκοπημένη Διάλεξη - 2  από 20-21 (Προσοχή: μπορεί η ύλη να μη συμπίπτει πλήρως με αυτή της τρέχουσας διάλεξης)

Βιντεοσκοπημένη Διάλεξη -

Ύλη:

Ασκήσεις και εφαρμογή στο παιχνίδι Sudoku

Υλικό:

Διαφάνειες σελ. 54-70

Επιπλέον ασκήσεις σε προτασιακή λογική

Ύλη:

1. Κατασκευή πίνακα αληθείας
2. Ταυτολογία-αντίφαση
3. Κανόνες Ισοδυναμίας
4. Εισαγωγή στον Προτασιακό Λογισμό
5. Εγκυρότητα απόδειξης
6. Κανόνες παραγωγής (modus ponens, modus tolens)

Βιβλίο Hunter σελ. 36-45

Υλικό:

Διαφάνειες σελ. 30-53

Βιντεοσκοπημένη Διάλεξη από 20-21 (Προσοχή: μπορεί η ύλη να μη συμπίπτει πλήρως με αυτή της τρέχουσας διάλεξης)

Ύλη:

1. Λογικές Προτάσεις
2. Λογικές Πράξεις και Πίνακες Αληθείας
3. Η συνεπαγωγή
4. Μετάφραση από φυσική γλώσσα

Βιβλίο Hunter: σελ. 19-30

Υλικό:

Διαφάνειες (σελ. 1-29)

Βιντεοσκοπημένη Διάλεξη από 20-21 (Προσοχή: μπορεί η ύλη να μη συμπίπτει πλήρως με αυτή της τρέχουσας διάλεξης)