1) Διανομή σε Υποδοχές
1.1) Διανομή Ομοίων Αντικειμένων σε Υποδοχές
1.2) Διανομή Διαφορετικών Αντικειμένων Χωρίς Σειρά σε Υποδοχές
1.3) Διανομή Διαφορετικών Αντικειμένων Με Σειρά σε Υποδοχές
2) Γνωστά Προβλήματα Διατάξεων
2.1) Εξίσωση
3) Μεθοδολογία Ασκήσεων
3.1) Διανομή Ομάδων Ομοίων
3.2) Διανομή Ομοίων με Περιορισμό
3.3) Διάταξη με Εμφύτευση Υποδοχών
Ασκήσεις
1) Διανομή σε Υποδοχές
1.1) Διανομή Ομοίων Αντικειμένων σε Υποδοχές
1.2) Διανομή Διαφορετικών Αντικειμένων Χωρίς Σειρά σε Υποδοχές
1.3) Διανομή Διαφορετικών Αντικειμένων Με Σειρά σε Υποδοχές
2) Γνωστά Προβλήματα Διατάξεων
2.1) Εξίσωση
3) Μεθοδολογία Ασκήσεων
3.1) Διανομή Ομάδων Ομοίων
3.2) Διανομή Ομοίων με Περιορισμό
3.3) Διάταξη με Εμφύτευση Υποδοχών
Ασκήσεις
1) Στόχος της Συνδυαστικής
2) Τρόποι Απαρίθμησης
2.1) Καταμέτρηση
2.2) Αρχές Απαρίθμησης
2.2.1) Ο κανόνας του αθροίσματος
2.2.2) Ο κανόνας του γινομένου
2.3) Γενίκευση των Αρχών Απαρίθμησης
2.4) Μαθηματικοί τύποι της Συνδυαστικής
Ασκήσεις
1) Το αξιωματικό σύστημα του Προτασιακού Λογισμού (ΠΛ)
1.1) Ορισμός του Αξιωματικού Συστήματος ΠΛ
2) Τι μπορούμε να χρησιμοποιήσουμε σε μια τυπική απόδειξη
2.1) Υποθέσεις του Συνόλου Τύπων
2.2) Ο αποδεικτικός κανόνας Modus Ponens
2.3) Τα αξιωματικά σχήματα ΑΣ1-ΑΣ3
2.3.1) Το αξιωματικό σχήμα 1
2.3.2) Το αξιωματικό σχήμα 2
2.3.3) Το αξιωματικό σχήμα 3
2.3.4) Προς τα εμπρός συλλογιστική
2.3.5) Προς τα πίσω συλλογιστική
2.4) Τυπικά Θεωρήματα
2.5) Τυπικές Συνεπαγωγές
3) Μεθοδολογία
3.1) Προς τα εμπρός συλλογιστική
3.2) Προς τα πίσω συλλογιστική
Ασκήσεις
1) Σύνολο Τύπων
1.1) Ικανοποιήσιμο Σύνολο Τύπων
1.2) Μη Ικανοποιήσιμο Σύνολο Τύπων
2) Ταυτολογική Συνεπαγωγή
2.1) Συμβολισμός της ταυτολογίας
3) Ταυτολογικά Ισοδύναμοι Τύποι
Ασκήσεις
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Ορισμός Αλήθειας Tarski
1.1) Ο κανόνας της ισότητας
1.2) Ο κανόνας του κατηγορηματικού συμβόλου
1.3) Ο κανόνας του μονοθέσιου συνδέσμου ¬
1.4) Ο κανόνας του διθέσιου συνδέσμου ∧
1.5) Ο κανόνας του διθέσιου συνδέσμου ∨
1.6) Ο κανόνας του διθέσιου συνδέσμου →
1.7) Ο κανόνας του διθέσιου συνδέσμου ↔
1.8) Ο κανόνας του ποσοδείκτη ∀
1.9) Ο κανόνας του ποσοδείκτη ∃
2) Εύρεση Αλήθειας Τύπου
2.1) Μεθοδολογία
2.2) Παραδείγματα
3) Ικανοποιήσιμος Τύπος
3.1) Ορισμός
3.2) Παραδείγματα
4) Ικανοποιήσιμο Σύνολο Τύπων
4.1) Ορισμός
4.2) Παραδείγματα
5) Έγκυρος ή Λογικά Αληθής Τύπος
5.1) Ορισμός
5.2) Παραδείγματα
6) Λογική Συνεπαγωγή
6.1) Ορισμός
6.2) Παραδείγματα
Ασκήσεις
1) Ορισμός Συνδετικού Δένδρου
1.1) Διάσχιση Πρώτα Κατά Πλάτος
1.2) Διάσχιση Πρώτα Κατά Βάθος
2) Ελάχιστο Συνδετικό Δένδρο
2.1) Ορισμός Ελάχιστου Συνδετικού Δένδρου
2.2) Ο αλγόριθμος του Prim
3) Σύνοψη για τους Αλγόριθμους
3.1) Συντομότερα Μονοπάτια
3.2) Συνδετικό Δένδρο
3.3) Ελάχιστο Συνδετικό Δένδρο
1) Στόχος της Συνδυαστικής
2) Τρόποι Απαρίθμησης
2.1) Καταμέτρηση
2.2) Αρχές Απαρίθμησης
2.2.1) Ο κανόνας του αθροίσματος
2.2.2) Ο κανόνας του γινομένου
2.3) Γενίκευση των Αρχών Απαρίθμησης
2.4) Μαθηματικοί τύποι της Συνδυαστικής
Ασκήσεις
1) Το αξιωματικό σύστημα του Προτασιακού Λογισμού (ΠΛ)
1.1) Ορισμός του Αξιωματικού Συστήματος ΠΛ
2) Τι μπορούμε να χρησιμοποιήσουμε σε μια τυπική απόδειξη
2.1) Υποθέσεις του Συνόλου Τύπων
2.2) Ο αποδεικτικός κανόνας Modus Ponens
2.3) Τα αξιωματικά σχήματα ΑΣ1-ΑΣ3
2.3.1) Το αξιωματικό σχήμα 1
2.3.2) Το αξιωματικό σχήμα 2
2.3.3) Το αξιωματικό σχήμα 3
2.3.4) Προς τα εμπρός συλλογιστική
2.3.5) Προς τα πίσω συλλογιστική
2.4) Τυπικά Θεωρήματα
2.5) Τυπικές Συνεπαγωγές
3) Μεθοδολογία
3.1) Προς τα εμπρός συλλογιστική
3.2) Προς τα πίσω συλλογιστική
Ασκήσεις
1) Σύνολο Τύπων
1.1) Ικανοποιήσιμο Σύνολο Τύπων
1.2) Μη Ικανοποιήσιμο Σύνολο Τύπων
2) Ταυτολογική Συνεπαγωγή
2.1) Συμβολισμός της ταυτολογίας
3) Ταυτολογικά Ισοδύναμοι Τύποι
Ασκήσεις
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Ορισμός Αλήθειας Tarski
1.1) Ο κανόνας της ισότητας
1.2) Ο κανόνας του κατηγορηματικού συμβόλου
1.3) Ο κανόνας του μονοθέσιου συνδέσμου ¬
1.4) Ο κανόνας του διθέσιου συνδέσμου ∧
1.5) Ο κανόνας του διθέσιου συνδέσμου ∨
1.6) Ο κανόνας του διθέσιου συνδέσμου →
1.7) Ο κανόνας του διθέσιου συνδέσμου ↔
1.8) Ο κανόνας του ποσοδείκτη ∀
1.9) Ο κανόνας του ποσοδείκτη ∃
2) Εύρεση Αλήθειας Τύπου
2.1) Μεθοδολογία
2.2) Παραδείγματα
3) Ικανοποιήσιμος Τύπος
3.1) Ορισμός
3.2) Παραδείγματα
4) Ικανοποιήσιμο Σύνολο Τύπων
4.1) Ορισμός
4.2) Παραδείγματα
5) Έγκυρος ή Λογικά Αληθής Τύπος
5.1) Ορισμός
5.2) Παραδείγματα
6) Λογική Συνεπαγωγή
6.1) Ορισμός
6.2) Παραδείγματα
Ασκήσεις
1) Ορισμός Συνδετικού Δένδρου
1.1) Διάσχιση Πρώτα Κατά Πλάτος
1.2) Διάσχιση Πρώτα Κατά Βάθος
2) Ελάχιστο Συνδετικό Δένδρο
2.1) Ορισμός Ελάχιστου Συνδετικού Δένδρου
2.2) Ο αλγόριθμος του Prim
3) Σύνοψη για τους Αλγόριθμους
3.1) Συντομότερα Μονοπάτια
3.2) Συνδετικό Δένδρο
3.3) Ελάχιστο Συνδετικό Δένδρο
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή ΜπουντουρίδηMoses Boudourides
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική
Αυτό είναι το δεύτερο μέρος των σημειώσεων μου στο προπτυχιακό μάθημα των Διακριτών Μαθηματικών του Μαθηματικού Τμήματος του Πανεπιστημίου Πατρών (άνοιξη 2014). Το πρώτο τμήμα της εισαγωγής στην λογική είναι εδώ:
http://www.slideshare.net/MosesBoudourides/1-32613813
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)Dimitris Psounis
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1.Διαχείριση Μνήμης
1.1.Στατική Δέσμευση Μνήμης
1.2.Στατική Δέσμευση Μνήμης για Συνήθεις Μεταβλητές
1.3.Στατική Δέσμευση Μνήμης για Αντικείμενα
2.Δυναμική Δέσμευση Μνήμης
2.1.Δείκτες (Υπενθύμιση από C)
2.2.Οι τελεστές new και delete
2.3.Δυναμική Δέσμευση για Συνήθεις Μεταβλητές
2.4.Δυναμική Δέσμευση για Αντικείμενα
2.5.Δυναμική Δέσμευση και Κατασκευαστές
3.Κλάσεις που περιέχουν δείκτες
3.1.Παράδειγμα κλάσης που περιέχει δείκτες
3.2.…και ένα πρόβλημα (χωρίς λύση για την ώρα)
4..Δυναμική Δέσμευση Μνήμης για Πίνακες
4.1.Μονοδιάστατοι πίνακες
4.2.Παράδειγμα δέσμευσης μνήμης για μονοδιάστατους πίνακες
4.3.Διδιάστατοι πίνακες
4.4.Παράδειγμα δέσμευσης μνήμης για διδιάστατους πίνακες
B. Ασκήσεις
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1.Διαχείριση Μνήμης
1.1.Στατική Δέσμευση Μνήμης
1.2.Στατική Δέσμευση Μνήμης για Συνήθεις Μεταβλητές
1.3.Στατική Δέσμευση Μνήμης για Αντικείμενα
2.Δυναμική Δέσμευση Μνήμης
2.1.Δείκτες (Υπενθύμιση από C)
2.2.Οι τελεστές new και delete
2.3.Δυναμική Δέσμευση για Συνήθεις Μεταβλητές
2.4.Δυναμική Δέσμευση για Αντικείμενα
2.5.Δυναμική Δέσμευση και Κατασκευαστές
3.Κλάσεις που περιέχουν δείκτες
3.1.Παράδειγμα κλάσης που περιέχει δείκτες
3.2.…και ένα πρόβλημα (χωρίς λύση για την ώρα)
4..Δυναμική Δέσμευση Μνήμης για Πίνακες
4.1.Μονοδιάστατοι πίνακες
4.2.Παράδειγμα δέσμευσης μνήμης για μονοδιάστατους πίνακες
4.3.Διδιάστατοι πίνακες
4.4.Παράδειγμα δέσμευσης μνήμης για διδιάστατους πίνακες
B. Ασκήσεις
Α. Θεωρία
1. Κλάσεις
1.1 Γενικά
1.2 Ορισμός Κλάσης
1.3 Δημόσια (public) στοιχεία της κλάσης
1.4 Ιδιωτικά (private) στοιχεία της κλάσης
1.5 Παράδειγμα (προδιαγραφές)
2 Περισσότερα για τις κλάσεις
2.1 Ορισμός Συναρτήσεων έξω από την Κλάση
2.2 Παρουσίαση Ιδιωτικών – Δημόσιων Μέλων μιας κλάσης
2.3 Χωρισμός σε Αρχεία
3. Ειδικές Μεθόδοι Κλάσεων
3.1 Γενικά
3.2 Κατασκευαστής (constructor)
3.3 Καταστροφέας (destructor)
3.4 Ελεγκτές Πρόσβασης (accessors)
B. Ασκήσεις
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)Dimitris Psounis
Α. Θεωρία
1. Κλάσεις
1.1 Γενικά
1.2 Ορισμός Κλάσης
1.3 Δημόσια (public) στοιχεία της κλάσης
1.4 Ιδιωτικά (private) στοιχεία της κλάσης
1.5 Παράδειγμα (προδιαγραφές)
2 Περισσότερα για τις κλάσεις
2.1 Ορισμός Συναρτήσεων έξω από την Κλάση
2.2 Παρουσίαση Ιδιωτικών – Δημόσιων Μέλων μιας κλάσης
2.3 Χωρισμός σε Αρχεία
3. Ειδικές Μεθόδοι Κλάσεων
3.1 Γενικά
3.2 Κατασκευαστής (constructor)
3.3 Καταστροφέας (destructor)
3.4 Ελεγκτές Πρόσβασης (accessors)
B. Ασκήσεις
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1. Η Γλώσσα C++
1.1. Γενικά
1.2. Ιστορία – Εκδόσεις
1.3. Η αναγκαιότητα της C
1.4. Μεταγλωττιστές
2. Hello World!
2.1. Πηγαίος Κώδικας
2.2. Σχόλια
2.3. Βιβλιοθήκη iostream
2.4. main, block κώδικα, return
2.5 Είσοδος/Έξοδος
2.5.1. Έξοδος με την cout
2.5.2. Οδηγία using
2.5.3. Περισσότερα για την cout
2.5.4. Είσοδος με την cin
3. Στοιχεία της C
3.1. Μεταβλητές
3.2. Σταθερές
3.3. Τελεστές και η Δομή Ελέγχου
3.4. Δομές Επανάληψης
3.5. Συναρτήσεις
3.5.1. Πολυμορφισμός Συναρτήσεων
3.6. Πίνακες
3.7. Συμβολοσειρές
3.8. Δείκτες
B.Ασκήσεις
Εφαρμογή 1
Εφαρμογή 2
Εφαρμογή 3
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)Dimitris Psounis
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1. Η Γλώσσα C++
1.1. Γενικά
1.2. Ιστορία – Εκδόσεις
1.3. Η αναγκαιότητα της C
1.4. Μεταγλωττιστές
2. Hello World!
2.1. Πηγαίος Κώδικας
2.2. Σχόλια
2.3. Βιβλιοθήκη iostream
2.4. main, block κώδικα, return
2.5 Είσοδος/Έξοδος
2.5.1. Έξοδος με την cout
2.5.2. Οδηγία using
2.5.3. Περισσότερα για την cout
2.5.4. Είσοδος με την cin
3. Στοιχεία της C
3.1. Μεταβλητές
3.2. Σταθερές
3.3. Τελεστές και η Δομή Ελέγχου
3.4. Δομές Επανάληψης
3.5. Συναρτήσεις
3.5.1. Πολυμορφισμός Συναρτήσεων
3.6. Πίνακες
3.7. Συμβολοσειρές
3.8. Δείκτες
B.Ασκήσεις
Εφαρμογή 1
Εφαρμογή 2
Εφαρμογή 3
1. ΣΥΝΔΥΑΣΤΙΚΗ
n: Αντικείμενα
m: Υποδοχές
Πολλά αντικείμενα
σε κάθε υποδοχή!
ΤΟ ΜΟΝΤΕΛΟ ΤΗΣ ΔΙΑΝΟΜΗΣ ΑΝΤΙΚΕΙΜΕΝΩΝ ΣΕ ΥΠΟΔΟΧΕΣ
…
ΟΜΟΙΑ: [όλα τα αντικείμενα όμοια μεταξύ τους]
ΟΜΑΔΕΣ ΟΜΟΙΩΝ: [βλέπε δίπλα]
ΔΙΑΦΟΡΕΤΙΚΑ: [όλα τα αντικείμενα διαφ/κα μεταξύ τους]
• ΔΙΑΝΟΜΗ ΔΙΑΦΟΡΕΤΙΚΩΝ ΧΩΡΙΣ ΣΕΙΡΑ ΣΤΗΝ ΥΠΟΔΟΧΗ
• ΔΙΑΝΟΜΗ ΔΙΑΦΟΡΕΤΙΚΩΝ ΜΕ ΣΕΙΡΑ ΣΤΗΝ ΥΠΟΔΟΧΗ
!
!
ΔΙΑΝΟΜΕΣ και ΤΥΠΟΙ ΑΝΤΙΚΕΙΜΕΝΩΝ
Σημαντικό: Κάθε υποδοχή μπορεί να πάρει από κανένα έως
όλα τα αντικείμενα. Διανέμω ΌΛΑ τα αντικείμενα
ΕΞΙΣΩΣΗ: Είναι διανομή ομοίων. Μοιράζουμε τις όμοιες μονάδες στις
μεταβλητές
Π.χ. η εξίσωση: ⋯ έχει
1
ακέραιες
λύσεις όπου οι μεταβλητές 0, 1,2, … , .
«Διανέμω (μοιράζω)
αντικείμενα»
ΑΣΚΗΣΗ 1: Διανομή Ομάδων Ομοίων
Μοιράζω ξεχωριστά κάθε ομάδα ως διανομή ομοίων και έπειτα
κανόνας γινομένου.
Π.χ. 3 άσπρες και 5 μπλέ μπάλες σε 4 υποδοχές.
Άσπρες: Διανομή Ομοίων:
3 4 1
3
6
3
Μπλε: Διανομή Ομοίων:
5 4 1
5
8
5
ΑΣΚΗΣΗ 2: Διανομή υπό περιορισμό
Σπάσιμο του προβλήματος σε υποπροβλήματα και έπειτα
συνδυασμός των λύσεων είτε με τον κανόνα του
αθροίσματος είτε με τον κανόνα του γινομένου
ΑΣΚΗΣΗ 3: Διατάξεις με Εμφύτευση Υποδοχών
μας ζητείται να έχουμε περισσότερα από 2 αντικείμενα που
δεν είναι σε σειρά. Τότε:
Α) Τοποθετούμε τα «προβληματικά» αντικείμενα, έστω τα Α,
σε σειρά.
Β) Βάζουμε μια υποδοχή ανάμεσα σε κάθε δύο διαδοχικά Α
(συχνά και στην αρχή και στο τέλος της σειράς)
Γ) Τοποθετούμε μία θέση σε κάθε υποδοχή για την
ικανοποίηση των περιορισμών
Δ) Μοιράζουμε τις υπόλοιπες θέσεις στις υποδοχές ως
διανομή ομοίων
Ε) Διατάσσουμε τα «άλλα» αντικείμενα, έστω τα Β, στις
θέσεις.
ΚΓ:
6
3
8
5
«πόσα»
«πόσα+ποια»
«πόσα+ποια+σειρά»