Διακριτά Μαθηματικά (CEID_22Y101)
Ύλη:
- Αποδείξεις Προτάσεων με Καθολικούς και Υπαρξιακούς Ποσοδείκτες
- Επίλυση Ασκήσεων
- Εισαγωγή στη Μαθηματική Επαγωγή
Hunter (2η έκδοση) σελ. 236-243
Υλικό:
Διαφάνειες σελ. 23-35
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Αποδείξεις κατά Περίπτωση
- Αποδείξεις Ισοδυναμίας
- Αποδείξεις για Λογικές Προτάσεις με Υπαρξιακό Ποσοδείκτη
- Αποδείξεις Μοναδικότητας
- Αποδείξεις με Αντιπαράδειγμα, Εξάντληση
- Χωρίς Βλάβη Γενικότητας
- Καθολικές Προτάσεις
Hunter (2η Έκδοση) σελ. 59, 70
Υλικό:
Διαφάνειες σελ. 11-22
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Κανόνες Εξαγωγής Συμπερασμάτων για Ποσοτικοποιημένες Προτάσεις
- Άμεση Απόδειξη
- Έμμεση Απόδειξη
- Απόδειξη με Αντίφαση
Hunter (2η Έκδοση): σελ. 81-89
Υλικό:
Διαφάνειες σελ. 31-39
Διαφάνειες σελ. 1-10
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Σειρά ποσοδεικτών
- Μετάφραση από και προς φυσική γλώσσα
Hunter (2η Έκδοση) σελ. 55-66
Υλικό:
Διαφάνειες σελ. 18-30
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Επίλυση λογικού γρίφου με προτασιακά σύμβολα.
- Επίλυση Sudoku με χρήση λογικών προτάσεων και SAT Solvers (εκτός ύλης)
- Καθολικός - Υπαρξιακός Ποσοδείκτης
- Κατηγορήματα
- Αρνήσεις λογικών προτάσεων με ποσοδείκτες
- Εμφωλευμένοι ποσοδείκτες
- Μετάφραση από και προς φυσική γλώσσα προς και από λογικές προτάσεις με ποσοδείκτες
Hunter (2η έκδοση) σελ. 50-69
Υλικό:
Διαφάνειες σελ. 54-69
Διαφάνειες σελ. 1-17
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακ
Ύλη:
- Κανόνες Εξαγωγής Συμπερασμάτων
- Ασκήσεις σε Προτασιακό Λογισμό
Hunter (2η έκδοση) σελ. 39-50
Υλικό:
Διαφάνειες σελ. 38-53
Λυμένες Ασκήσεις σε Προτασιακό Λογισμό
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
- Λογικές προτάσεις
- Λογικές πράξεις (ΚΑΙ, Η, ΟΧΙ, ΣΥΝΕΠΑΓΩΓΗ, ΙΣΟΔΥΝΑΜΙΑ) - Πίνακες Αληθείας
- Σύνθετες Προτάσεις
- Ταυτολογία - Αντίφαση
- Νόμοι De Morgan
Hunter (2η έκδοση): σελ. 19-38
Υλικό:
Διαφάνειες σελ. 1-43
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Ύλη:
1. Καλωσόρισμα των φοιτητών
2. Βασικά στοιχεία και διαδικασίες του μαθήματος.
Υλικό:
Δημοφιλείς αναρτήσεις
Ιστορικό αναρτήσεων
- 2023 (8)
- Νοέμβριος (1)
- Οκτώβριος (7)
- 07 Διάλεξη (25/10/2024): Μέθοδοι Απόδειξης
- 06 Διάλεξη (21/10/2024): Κατηγορηματικός Λογισμός - Μέθοδοι Απόδειξης
- 05 Διάλεξη (18/10/2024): Κατηγορηματικός Λογισμός
- 04 Διάλεξη (14/10/2024): Προτασιακός-Κατηγορηματικός Λογισμός
- 03 Διάλεξη (11/10/2024): Προτασιακός Λογισμός
- 02 Διάλεξη (07/10/2024): Προτασιακός Λογισμός
- 01 Διάλεξη (30/09/2024): Εισαγωγή στο Μάθημα