Διακριτά Μαθηματικά (CEID_22Y101)
Ύλη:
- Ασκήσεις σε Σχέσεις και Κλάσεις Ισοδυναμίας
- Η Διαίρεση Ακεραίων
- Μέγιστος Κοινός Διαιρέτης
- Πρώτοι και Σύνθετοι Αριθμοί
- Βαθμιδωτή Αριθμητική
Rosen σελ. 229-235, 246-250, 257-261
Υλικό:
Ασκήσεις σε Σχέσεις-Συναρτήσεις
Διαφάνειες σελ. 1-28 (εκτός ύλης οι διαφάνειες 9, 11-12, 18-20, 23-26)
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21 σχετικά με σχέσεις και κλάσεις ισοδυναμίας. Δεν υπάρχει σχετική διάλεξη για Βασικά Στοιχεία Θεωρίας Αριθμών. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακρ
Ύλη:
- Μεταβατική Ιδιότητα
- Σύνθεση Σχέσεων, Αντίστροφη Σχέσης
- Η Συνάρτηση ως ειδική περίπτωση σχέσης
- Σχέσεις Ισοδυναμίας / Κλάσεις Ισοδυναμίας
- Ασκήσεις
Rosen σελ. 544-547, 575-581
Υλικό:
Διαφάνειες σελ. 12-33
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Διαμέριση Συνόλου, Καρτεσιανό Γινόμενο
- Σχέση
- Ανακλαστική, Μη-ανακλαστική, Συμμετρική, Αντισυμμετρική ιδιότητα
Rosen σελ. 118-120, 539-544, 558-561
Υλικό:
Διαφάνειες σελ. 25-35
Διαφάνειες σελ. 1-11
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Ασκήσεις σε Ισχυρή Επαγωγή
- Εισαγωγή στα Σύνολα
- Οι σχέσεις "υποσύνολο" και "ανήκει"
- Πράξεις σε σύνολα και βασικές Ιδιότητες
- Η έννοια του δυναμοσυνόλου
Rosen σελ. 112-118, 122-129
Υλικό:
Διαφάνειες σελ. 36-38
Διαφάνειες σελ. 1-24
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Ασκήσεις σε Μαθηματική Επαγωγή
- Ισχυρή Μαθηματική Επαγωγή
Rosen σελ. 320-324
Υλικό:
Διαφάνειες σελ. 32-35
Ύλη:
- Αποδείξεις Προτάσεων με Καθολικούς και Υπαρξιακούς Ποσοδείκτες
- Επίλυση Ασκήσεων
- Εισαγωγή στη Μαθηματική Επαγωγή
Rosen σελ. 299-316
Υλικό:
Διαφάνειες σελ. 22-31
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Στρατηγική Αποδείξεων
- Αποδείξεις κατά Περίπτωση
- Αποδείξεις Ισοδυναμίας
- Αποδείξεις για Λογικές Προτάσεις με Υπαρξιακό Ποσοδείκτη
- Αποδείξεις Μοναδικότητας
- Αποδείξεις με Αντιπαράδειγμα, Εξάντληση
- Χωρίς Βλάβη Γενικότητας
Rosen σελ. 87-103
Υλικό:
Διαφάνειες σελ. 10-21
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Κανόνες Εξαγωγής Συμπερασμάτων για Ποσοτικοποιημένες Προτάσεις
- Άμεση Απόδειξη
- Έμμεση Απόδειξη
- Απόδειξη με Αντίφαση
Rosen σελ. 70-72, 75-85
Υλικό:
Διαφάνειες σελ. 30-36
Διαφάνειες σελ. 1-9
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Σειρά ποσοδεικτών
- Μετάφραση από και προς φυσική γλώσσα
- Καθολική και Υπαρξιακή Αμεσότητα
Rosen σελ. 55-59
Υλικό:
Διαφάνειες σελ. 16-33
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Επίλυση Sudoku με χρήση λογικών προτάσεων και SAT Solvers (εκτός ύλης)
- Καθολικός - Υπαρξιακός Ποσοδείκτης
- Κατηγορήματα
- Αρνήσεις λογικών προτάσεων με ποσοδείκτες
- Εμφωλευμένοι ποσοδείκτες
- Μετάφραση από και προς φυσική γλώσσα προς και από λογικές προτάσεις με ποσοδείκτες
Rosen σελ. 36-48, 54-55
Υλικό:
Διαφάνειες σελ. 50-59
Διαφάνειες σελ. 1-15
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Δημοφιλείς αναρτήσεις
Ιστορικό αναρτήσεων
- 2023 (13)
- Νοέμβριος (6)
- Οκτώβριος (7)
- 07 Διάλεξη (30/10/2023): Μέθοδοι Απόδειξης
- 06 Διάλεξη (26/10/2023): Κατηγορηματικός Λογισμός - Μέθοδοι Απόδειξης
- 05 Διάλεξη (23/10/2023): Κατηγορηματικός Λογισμός
- 04 Διάλεξη (19/10/2023): Προτασιακός-Κατηγορηματικός Λογισμός
- 03 Διάλεξη (12/10/2023): Προτασιακός Λογισμός
- 02 Διάλεξη (05/10/2023): Προτασιακός Λογισμός
- 01 Διάλεξη (02/10/2023): Εισαγωγή στο Μάθημα