1) Η γλώσσα της Θεωρίας Συνόλων
1.1) Εισαγωγή
2) Υπενθυμίσεις από ΜΑΘ0.1
2.1) Δυναμοσύνολο
2.2) Σχέση Υποσυνόλου
2.3) Σχέση Γνησίου Υποσυνόλου
3) Ασκήσεις
3.1) Στοιχειώδεις προτάσεις με ποσοδείκτες
3.2) Μετάφραση στα ελληνικά
3.3) Περαιτέρω ασκήσεις
Ασκήσεις
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Εισαγωγικοί Ορισμοί
1.1) Μη Κατευθυνόνομενο Γράφημα
2) Ορισμοί στα Μη Κατευθυνόμενα Γραφήματα
2.1) Η Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
2.1) Η Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
2.2) Ερμηνείες στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
3) Ασκήσεις στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
3.1) Μετάφραση στα Ελληνικά
3.2) Μετάφραση στα Κατηγορηματικά
3.3) Εύρεση Αλήθειας Προτάσεων
3.4) Εύρεση Ερμηνείας που ικανοποιεί δεδομένη πρόταση
3.5) Συντομογραφίες στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων.
Ασκήσεις
1) Ερμηνείες εμπνευσμένες από τον πραγματικό κόσμο
1.1) Σύμπαν με μία κατηγορία δεδομένων
1.1.1) Παραδείγματα
1.2) Σύμπαν με περισσότερες κατηγορίες δεδομένων
1.2.1) Παραδείγματα
2) Ερμηνείες των αριθμών
2.1) Σύμπαν Ακεράιων – Πραγματικών
Ασκήσεις
1) Νόμοι Προτασιακής Λογικής
1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.
2) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς
2.3) Πλήρη Σύνολα Συνδέσμων
Ασκήσεις
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) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Εισαγωγικοί Ορισμοί
1.1) Μη Κατευθυνόνομενο Γράφημα
2) Ορισμοί στα Μη Κατευθυνόμενα Γραφήματα
2.1) Η Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
2.1) Η Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
2.2) Ερμηνείες στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
3) Ασκήσεις στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
3.1) Μετάφραση στα Ελληνικά
3.2) Μετάφραση στα Κατηγορηματικά
3.3) Εύρεση Αλήθειας Προτάσεων
3.4) Εύρεση Ερμηνείας που ικανοποιεί δεδομένη πρόταση
3.5) Συντομογραφίες στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων.
Ασκήσεις
1) Ερμηνείες εμπνευσμένες από τον πραγματικό κόσμο
1.1) Σύμπαν με μία κατηγορία δεδομένων
1.1.1) Παραδείγματα
1.2) Σύμπαν με περισσότερες κατηγορίες δεδομένων
1.2.1) Παραδείγματα
2) Ερμηνείες των αριθμών
2.1) Σύμπαν Ακεράιων – Πραγματικών
Ασκήσεις
1) Νόμοι Προτασιακής Λογικής
1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.
2) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς
2.3) Πλήρη Σύνολα Συνδέσμων
Ασκήσεις
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) Μονοπάτια
1.3) Κύκλοι
1.4) Έσω και Έξω Βαθμός Κορυφής
1.5) Απομονωμένη Κορυφή
1.6) Πλήρες Γράφημα
2) Η Γλώσσα των Κατευθυνόμενων Γραφημάτων
2.1) Η Γλώσσα των Κατευθυνόμενων Γραφημάτων
2.2) Ερμηνείες στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
3) Ασκήσεις στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
3.1) Μετάφραση στα Ελληνικά
3.2) Μετάφραση στα Κατηγορηματικά
3.3) Εύρεση Αλήθειας Προτάσεων
3.4) Εύρεση Ερμηνείας που ικανοποιεί δεδομένη πρόταση
3.5) Συντομογραφίες στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
Ασκήσεις
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) Η πρωτοβάθμια γλώσσα
2) Νέα Στοιχεία σε Σχέση με την Προτασιακή γλώσσα
2.1) Τα συναρτησιακά σύμβολα
2.2) Τα κατηγορηματικά σύμβολα
2.3) Ο ποσοδείκτης για κάθε: ∀
2.4) Ο ποσοδείκτης υπάρχει: ∃
2.5) Το σύμβολο ≈
3) Το συντακτικό της Κατηγορηματικής Λογικής
3.1) Εισαγωγή
3.2) Όρος
3.3) Ατομικός Τύπος
3.4) Μη Ατομικός Τύπος
3.5) Δενδροδιάγραμμα Τύπου και Προτεραιότητα Τελεστών
3.6) Πρόταση
4) Δομές και Αποτιμήσεις
4.1) Δομή (ή Ερμηνεία)
4.2) Αποτίμηση
5) Συντομογραφίες Τύπων
5.1) Ορισμός Συντομογραφίας
5.2) Χρήση Συντομογραφίας
6) Μεταφραστικός Πίνακας
Ασκήσεις
1) Σύνολο Τύπων
1.1) Ικανοποιήσιμο Σύνολο Τύπων
1.2) Μη Ικανοποιήσιμο Σύνολο Τύπων
2) Ταυτολογική Συνεπαγωγή
2.1) Συμβολισμός της ταυτολογίας
3) Ταυτολογικά Ισοδύναμοι Τύποι
Ασκήσεις
1) Επίπεδο Γράφημα
1.1) Ορισμοί Επίπεδων Γραφημάτων
1.2) Το άθροισμα των Βαθμών των όψεων ≤ 2m
1.3) Ο τύπος του Euler
2) Το θεώρημα Kuratowski
2.1) Το Κ5 δεν είναι επίπεδο
2.2) Το Κ3,3 δεν είναι επίπεδο
2.3) Ομοιομορφικά Γραφήματα
2.4) Το θεώρημα του Kuratowski
3) Δύο ακόμη Θεωρήματα
Ασκήσεις
1) Κύκλος Hamilton
1.1) Ορισμός Κύκλου Hamilton
1.2) Πως δείχνουμε ότι ένα γράφημα έχει κύκλο Hamilton (κατασκευαστικές, θεώρημα Dirac, θεώρημα Ore)
1.3) Πως δείχνουμε ότι ένα γράφημα δεν έχει κύκλο Hamilton (Απόδειξη εξαντλητικής περιπτωσιολογίας).
Ασκήσεις
1) Διανομή σε Υποδοχές
1.1) Διανομή Ομοίων Αντικειμένων σε Υποδοχές
1.2) Διανομή Διαφορετικών Αντικειμένων Χωρίς Σειρά σε Υποδοχές
1.3) Διανομή Διαφορετικών Αντικειμένων Με Σειρά σε Υποδοχές
2) Γνωστά Προβλήματα Διατάξεων
2.1) Εξίσωση
3) Μεθοδολογία Ασκήσεων
3.1) Διανομή Ομάδων Ομοίων
3.2) Διανομή Ομοίων με Περιορισμό
3.3) Διάταξη με Εμφύτευση Υποδοχών
Ασκήσεις
1) Η γλώσσα της Θεωρίας Συνόλων
1.1) Εισαγωγή
2) Υπενθυμίσεις από ΜΑΘ0.1
2.1) Δυναμοσύνολο
2.2) Σχέση Υποσυνόλου
2.3) Σχέση Γνησίου Υποσυνόλου
3) Ασκήσεις
3.1) Στοιχειώδεις προτάσεις με ποσοδείκτες
3.2) Μετάφραση στα ελληνικά
3.3) Περαιτέρω ασκήσεις
Ασκήσεις
1) Εισαγωγικοί Ορισμοί
1.1) Κατευθυνόνομενο Γράφημα
1.2) Μονοπάτια
1.3) Κύκλοι
1.4) Έσω και Έξω Βαθμός Κορυφής
1.5) Απομονωμένη Κορυφή
1.6) Πλήρες Γράφημα
2) Η Γλώσσα των Κατευθυνόμενων Γραφημάτων
2.1) Η Γλώσσα των Κατευθυνόμενων Γραφημάτων
2.2) Ερμηνείες στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
3) Ασκήσεις στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
3.1) Μετάφραση στα Ελληνικά
3.2) Μετάφραση στα Κατηγορηματικά
3.3) Εύρεση Αλήθειας Προτάσεων
3.4) Εύρεση Ερμηνείας που ικανοποιεί δεδομένη πρόταση
3.5) Συντομογραφίες στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
Ασκήσεις
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) Η πρωτοβάθμια γλώσσα
2) Νέα Στοιχεία σε Σχέση με την Προτασιακή γλώσσα
2.1) Τα συναρτησιακά σύμβολα
2.2) Τα κατηγορηματικά σύμβολα
2.3) Ο ποσοδείκτης για κάθε: ∀
2.4) Ο ποσοδείκτης υπάρχει: ∃
2.5) Το σύμβολο ≈
3) Το συντακτικό της Κατηγορηματικής Λογικής
3.1) Εισαγωγή
3.2) Όρος
3.3) Ατομικός Τύπος
3.4) Μη Ατομικός Τύπος
3.5) Δενδροδιάγραμμα Τύπου και Προτεραιότητα Τελεστών
3.6) Πρόταση
4) Δομές και Αποτιμήσεις
4.1) Δομή (ή Ερμηνεία)
4.2) Αποτίμηση
5) Συντομογραφίες Τύπων
5.1) Ορισμός Συντομογραφίας
5.2) Χρήση Συντομογραφίας
6) Μεταφραστικός Πίνακας
Ασκήσεις
1) Σύνολο Τύπων
1.1) Ικανοποιήσιμο Σύνολο Τύπων
1.2) Μη Ικανοποιήσιμο Σύνολο Τύπων
2) Ταυτολογική Συνεπαγωγή
2.1) Συμβολισμός της ταυτολογίας
3) Ταυτολογικά Ισοδύναμοι Τύποι
Ασκήσεις
1) Επίπεδο Γράφημα
1.1) Ορισμοί Επίπεδων Γραφημάτων
1.2) Το άθροισμα των Βαθμών των όψεων ≤ 2m
1.3) Ο τύπος του Euler
2) Το θεώρημα Kuratowski
2.1) Το Κ5 δεν είναι επίπεδο
2.2) Το Κ3,3 δεν είναι επίπεδο
2.3) Ομοιομορφικά Γραφήματα
2.4) Το θεώρημα του Kuratowski
3) Δύο ακόμη Θεωρήματα
Ασκήσεις
1) Κύκλος Hamilton
1.1) Ορισμός Κύκλου Hamilton
1.2) Πως δείχνουμε ότι ένα γράφημα έχει κύκλο Hamilton (κατασκευαστικές, θεώρημα Dirac, θεώρημα Ore)
1.3) Πως δείχνουμε ότι ένα γράφημα δεν έχει κύκλο Hamilton (Απόδειξη εξαντλητικής περιπτωσιολογίας).
Ασκήσεις
1) Διανομή σε Υποδοχές
1.1) Διανομή Ομοίων Αντικειμένων σε Υποδοχές
1.2) Διανομή Διαφορετικών Αντικειμένων Χωρίς Σειρά σε Υποδοχές
1.3) Διανομή Διαφορετικών Αντικειμένων Με Σειρά σε Υποδοχές
2) Γνωστά Προβλήματα Διατάξεων
2.1) Εξίσωση
3) Μεθοδολογία Ασκήσεων
3.1) Διανομή Ομάδων Ομοίων
3.2) Διανομή Ομοίων με Περιορισμό
3.3) Διάταξη με Εμφύτευση Υποδοχών
Ασκήσεις
1) Η γλώσσα της Θεωρίας Συνόλων
1.1) Εισαγωγή
2) Υπενθυμίσεις από ΜΑΘ0.1
2.1) Δυναμοσύνολο
2.2) Σχέση Υποσυνόλου
2.3) Σχέση Γνησίου Υποσυνόλου
3) Ασκήσεις
3.1) Στοιχειώδεις προτάσεις με ποσοδείκτες
3.2) Μετάφραση στα ελληνικά
3.3) Περαιτέρω ασκήσεις
Ασκήσεις
1) Η πρωτοβάθμια γλώσσα
2) Νέα Στοιχεία σε Σχέση με την Προτασιακή γλώσσα
2.1) Τα συναρτησιακά σύμβολα
2.2) Τα κατηγορηματικά σύμβολα
2.3) Ο ποσοδείκτης για κάθε: ∀
2.4) Ο ποσοδείκτης υπάρχει: ∃
2.5) Το σύμβολο ≈
3) Το συντακτικό της Κατηγορηματικής Λογικής
3.1) Εισαγωγή
3.2) Όρος
3.3) Ατομικός Τύπος
3.4) Μη Ατομικός Τύπος
3.5) Δενδροδιάγραμμα Τύπου και Προτεραιότητα Τελεστών
3.6) Πρόταση
4) Δομές και Αποτιμήσεις
4.1) Δομή (ή Ερμηνεία)
4.2) Αποτίμηση
5) Συντομογραφίες Τύπων
5.1) Ορισμός Συντομογραφίας
5.2) Χρήση Συντομογραφίας
6) Μεταφραστικός Πίνακας
Ασκήσεις
1) Ισοδυναμία Γραμματικής Χ.Σ. με Αυτόματο Στοίβας
1.1) Μετατροπή Γραμματικής Χ.Σ. σε Αυτόματο Στοίβας
1.2) Μετατροπή Αυτομάτου Στοίβας σε Γραμματική Χ.Σ.
2) Κλειστότητα στις Γλώσσες Χωρίς Συμφραζόμενα
2.1) Κλειστότητα στην Ένωση
2.2) Κλειστότητα στην Παράθεση
2.3) Κλειστότητα στο Αστέρι Kleene
2.4) ΌΧΙ κλειστότητα στο συμπλήρωμα
2.5) ΌΧΙ κλειστότητα στην τομή
Ασκήσεις
1) Κλειστότητα των Κανονικών Γλωσσών
1.1) Κλειστότητα στην Ένωση
1.2) Κλειστότηα στην Παράθεση
1.3) Κλειστότητα στο Αστέρι Kleene
1.4) Κλειστότητα στο Συμπλήρωμα
1.5) Κλειστότητα στην Τομή
1.5.1) Απλοποίηση ΝΠΑ
2) Επιπλέον Κατασκευές
2.1) Κατασκευή ΝΠΑ για την Ένωση
2.2) Κατασκευή ΝΠΑ για την Διαφορά
1.1) Ιεραρχία Συναρτήσεων
1.2) Αναδρομικές Σχέσεις (Θεώρημα Κυριαρχίας, Μέθοδος Επανάληψης)
2) Αναδρομικός Αλγόριθμος (Ψευδοκώδικας για αναδρομική σχέση δυναμικού προγραμματισμού και εύρεση κάτω φράγματος)
3.1) (ab+aab)*: ΚΕ σε ΜΠΑε σε ΜΠΑ σε ΝΠΑ σε Κανονική Γραμματική
3.2) Διάκριση Κανονικών και μη Κανονικών Γλωσσών
4.1) Ισότητα 2 πραγμάτων: Γραμματική Χωρίς Συμφραζόμενα και Αυτόματο Στοίβας
4.2) Αναλογία 3 πραγμάτων (όχι ΓΧΣ με 2ο λήμμα άντλησης)
5.1) Αναλογία 2 πραγμάτων (Μηχανή Turing)
5.2) Αναγωγή μη επιλυσιμότητας
6) Το At Least 6 SAT είναι NP-complete
ΓΛΩΣΣΑ 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
2. ΠΕΡΙΕΧΟΜΕΝΑ
Α. Σκοπός του Μαθήµατος
Β.Θεωρία
1. Η γλώσσα της Θεωρίας Συνόλων
1. Εισαγωγή
2. Υπενθυµίσεις από ΜΑΘ0.1
1. ∆υναµοσύνολο
2. Σχέση Υποσυνόλου
3. Σχέση Γνησίου Υποσυνόλου
3. Ασκήσεις
1. Στοιχειώδεις προτάσεις µε ποσοδείκτες
2. Μετάφραση στα ελληνικά
3. Περαιτέρω ασκήσεις
Γ.Ασκήσεις
1. Ερωτήσεις
2. Εφαρµογές
2∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
3. Α. Σκοπός του Μαθήµατος
Επίπεδο Α
(-)
Επίπεδο Β
(-)
Επίπεδο Γ
Η γλώσσα αυτή δεν είναι συχνή στις εξετάσεις. Στο διάβασµα του µαθήµατος
το ενδιαφέρον θα πρέπει να εστιαστεί στο συντακτικό της κατηγορηµατικής
λογικής πάνω σε αυτήν την νέα ερµηνεία.
3∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
4. B. Θεωρία
1. Η Γλώσσα της Θεωρίας Συνόλων
1. Εισαγωγή
4∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Η Γλώσσα της Θεωρίας Συνόλων (συµβολιζεται µε Γ1
θσ) συµπεριλαµβάνει
ερµηνείες που ορίζονται µε τα εξής στοιχεία:
Το σύµπαν είναι το δυναµοσύνολο ενός συνόλου X: Α
Ορίζονται τα κατηγορηµατικά σύµβολα:
⊆ , µε ⊆ , να αληθεύει αν ⊆
⊂ , µε ⊂ , να αληθεύει αν ⊂
Συχνά στις ασκήσεις ορίζονται επίσης:
• Ένα σύµβολο σταθεράς που να απεικονίζει το κενό σύνολο
• Ονόµατα κατηγορηµάτων που αντιστοιχούν στα δύο βασικά κατηγορηµατικά
σύµβολα.
Προσοχή ότι στην ερµηνεία αυτή το σύµπαν µεταβάλλεται ανάλογα µε την επιλογή του
βασικού συνόλου Χ.
5. Β. Θεωρία
2. Υπενθυµίσεις από ΜΑΘ0.1
1. ∆υναµοσύνολο
Ορίζουµε ότι:
Αν Α={1,2} τότε το δυναµοσύνολο του Α είναι το σύνολο:
Ενώ αν Α={1,2,3} τότε το δυναµοσύνολό του είναι το σύνολο:
5∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Το δυναµοσύνολο ενός συνόλου Α (συµβολίζεται µε 2Α ή P(A) ) είναι το σύνολο:
Αποτελεί δηλαδή το σύνολο που περιέχει όλα τα υποσύνολα του Α
}|{)( Α= τουνολουποσναιε ύίxxAP
}}2,1{},2{},1{,{)( ∅=AP
}}3,2,1{},3,2{},3,1{},2,1{},3{},2{},1{,{)( ∅=AP
6. Β. Θεωρία
2. Υπενθυµίσεις από ΜΑΘ0.1
2. Σχέση Υποσυνόλου
Ορίζουµε ότι:
Παραδείγµατα:
Ισχύει ότι:
Ισχύει ότι:
Ισχύει ότι:
∆εν ισχύει ότι:
∆εν ισχύει ότι:
Τυπικά ο ορισµός της σχέσης υποσυνόλου είναι ο εξής:
Ενω µε χρήση του υποσυνόλου ορίζουµε τυπικά την ισότητα συνόλων:
6∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Το σύνολο Α είναι υποσύνολο του συνόλου Β (και συµβολίζουµε ) αν
κάθε στοιχείο που ανήκει στο σύνολο Α ανήκει και στο συνολο Β
BA ⊆
},,,{},,{ dcbacba ⊆
N⊆}3,5,1{
}3,2,1{}3,2,1{ ⊆
}3,2,1{}4,3,2,1{ ⊆
}3,1{}2,1{ ⊆
BxύAxBA ∈∈∀⊆ καιειισχανν
ABBABA ⊆⊆= καιανν
7. Β. Θεωρία
2. Υπενθυµίσεις από ΜΑΘ0.1
3. Σχέση Γνησίου Υποσυνόλου
Ορίζουµε ότι:
Παραδείγµατα:
Ισχύει ότι:
Ισχύει ότι:
∆ΕΝ Ισχύει ότι:
∆εν ισχύει ότι:
∆εν ισχύει ότι:
Τυπικά ο ορισµός της σχέσης υποσυνόλου είναι ο εξής:
7∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Το σύνολο Α είναι γνήσιο υποσύνολο του συνόλου Β (και συµβολίζουµε )
αν το Α είναι υποσύνολο του Β, αλλά τα Α και Β δεν είναι ίσα.
BA ⊂
},,,{},,{ dcbacba ⊂
N⊂}3,5,1{
}3,2,1{}3,2,1{ ⊂
}3,2,1{}4,3,2,1{ ⊂
}3,1{}2,1{ ⊂
Β∈Α∉∃⊆⊂ xxBABA καικαιανν
8. B. Θεωρία
3. Ασκήσεις
1. Στοιχειώδεις Προτάσεις µε Ποσοδείκτες
8∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Μελετάµε όλους τους συνδυασµούς προτάσεων που µπορούν να κατασκευαστούν µε το
πολύ δύο ποσοδείκτες και τα κατηγορήµατα της γλώσσας της θεωρίας συνόλων. Είναι
σηµαντικό πέρα από το Α/Ψ της κάθε πρότασης να είµαστε σε θέση να µεταφράζουµε
σωστά κάθε πρόταση στα ελληνικά.
Ασκηση 1: Αντικαθιστώντας κάθε φορά το P µε τα κατηγορηµατικά σύµβολα ⊂, ⊆ να
αποφασιστεί αν οι ακόλουθες προτάσεις είναι Α/Ψ.
Έπειτα κατασκευάστε άλλους 8 τύπους
αντικαθιστώντας το P(x,y) µε P(y,x) στα 3-8 και
επαναλάβετε το ερώτηµα
⊂ ⊆
1 ∀ ,
2 ∃ ,
3 ∀ ∀ ,
4 ∃ ∃ ,
5 ∀ ∃ ,
6 ∃ ∀ ,
7 ∀ ∀ ,
8 ∃ ∃ ,
9 ∃ ∀ ,
10 ∀ ∃ ,
9. B. Θεωρία
3. Ασκήσεις
2. Μετάφραση στα Ελληνικά
9∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Η µετάφραση µιας πρότασης από τα κατηγορηµατικά στα ελληνικά θα γίνει αντίστοιχα µε
τον τρόπο που δουλέψαµε στην γλώσσα της θεωρίας αριθµών.
Παραδείγµατα: ∆ιατυπώστε στην Γ1
θσ την ακόλουθη πρόταση (χρησιµοποιώντας το
κατηγόρηµα , να αληθεύει αν ⊆ και θεωρώντας ότι το βασικό σύνολο Χ={1,2,3}
• Υπάρχει σύνολο που είναι υποσύνολο κάθε συνόλου:
• Υπάρχει σύνολο µε ιδιότητα: ∃ …
• Το x είναι υποσύνολο κάθε συνόλου ∀ ⊆ και µε χρήση του κατηγορήµατος:
∀ P x, y
• Άρα η τελική πρόταση είναι: ∃ ∀ P x, y ή πιο απλά: ∃ ∀ P x, y
• ∆ύο σύνολα είναι ίσα αν και µόνο αν το ένα είναι υποσύνολο του άλλου
• Υπονοείται διπλός καθολικός ποσοδείκτης. Η πρόταση αληθεύει για κάθε ζεύγος
συνόλων: ∀ ∀ …
• Το «αν και µόνο αν» µεταφράζεται σε µια ισοδυναµία που θα συνδέει τα δύο
σκέλη της πρότασης : ∀ ∀ … ↔ ⋯
• Το αριστερό µέρος της ισοδυναµίας εκφράζεται µε την ισότητα : ∀ ∀ ↔ ⋯
• Το δεξί µέρος της ισοδυναµίας θα εκφραστεί µε το κατηγόρηµα του υποσυνόλου:
∀ ∀ ↔ ⊆ ∧ ⊆
• Άρα εκφράζοντας µε χρήση του κατηγορήµατος P: ∀ ∀ ↔ , ∧ ,
10. B. Θεωρία
3. Ασκήσεις
2. Μετάφραση στα Ελληνικά
10∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Ασκηση 2: Θεωρώντας την ερµηνεία της Γ1
θσ µε:
• Το σύµπαν να είναι το δυναµοσύνολο του {1,2,3}
• Το κατηγόρηµα , να αληθεύει αν ⊆
• Το κατηγόρηµα , να αληθεύει αν ⊂
• Την σταθερά c να ερµηνεύεται στο κενό σύνολο.
Γράψτε σε Κατηγορηµατική Λογική τις προτάσεις:
1. Κανένα σύνολο δεν είναι γνήσιο υποσύνολο του κενού συνόλου
2. Κανένα σύνολο δεν είναι υποσύνολο του εαυτού του.
3. Υπάρχει µοναδικό υποσύνολο που είναι υποσύνολο όλων των συνόλων.
4. Υπάρχει µοναδικό υποσύνολο που είναι υπερσύνολο όλων των συνόλων
5. Αν ένα σύνολο Α είναι υποσύνολο ενός συνόλου Β, τότε το Β δεν είναι γνήσιο
υποσύνολο του Α
6. Αν ένα σύνολο Α είναι γνήσιο υποσύνολο του Β, τότε το Α είναι υποσύνολο του Β.
11. B. Θεωρία
3. Ασκήσεις
3. Περαιτέρω ασκήσεις
11∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Και στην ερµηνεία αυτή συνήθως ζητούνται:
• Η µετάφραση προτάσεων Κατηγορηµατικής Λογικής στα ελληνικά
• Η κατασκευή τύπων Κατηγορηµατικής Λογικής από διατυπώσεις προτάσεων στα
ελληνικά.
• Η απόφαση αν ένας τύπος είναι αληθής ή ψευδής (πάντα θα κάνουµε µετάφραση των
προτάσεων)
Ασκηση 3: Θεωρώντας την ερµηνεία της Γ1
θσ µε:
• Το σύµπαν να είναι το δυναµοσύνολο του {1,2,3}, το κατηγόρηµα , να αληθεύει
αν ⊆ , το κατηγόρηµα , να αληθεύει αν ⊂ , την σταθερά c να ερµηνεύεται
στο κενό σύνολο.
Μεταφράστε στα ελληνικά τις προτασεις:
1. ∀ ∃ ∃ , ∧ ,
2. ∀ ∃ ∃ , ∧ ,
3. ∀ ∀ , → , ∨
4. ∃ , ∧ ,
12. Γ. Ασκήσεις
Ερωτήσεις 1
12∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Θεωρώντας την ερµηνεία της Γ1
θσ µε το σύµπαν να είναι το δυναµοσύνολο του {1,2,3},
το κατηγόρηµα , να αληθεύει αν ⊆ , το κατηγόρηµα , να αληθεύει αν
⊂ εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς
1. ∀ ∀ , ↔ ,
2. ∃ ∃ , ∧ ,
3. ∃ !∃ "∃ #∃ $ !, " ∧ ", # ∧ #, $
4. ∃ !∃ "∃ #∃ $∃ % !, " ∧ ", # ∧ #, $ ∧ $, %
13. Γ. Ασκήσεις
Ερωτήσεις 2
13∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Έστω &' (1,2, … , +, το σύνολο των φυσικών από το 1 εώς το n και P &' το σύνολο
όλων των υποσυνόλων του &'. Έστω Q κατηγορηµατικό σύµβολο που ερµηνεύουµε στο
P &' ως εξής Q(x,y) αν και µόνο αν ⊆ .
1. Ο τύπος ∃ ∀ , αληθεύει στην παραπάνω δοµή.
2. Ο τύπος ∀ ∃ . ∧ , αληθεύει στην παραπάνω δοµή.
3. Ο τύπος / ∃ , αληθεύει για 2n στοιχεία x του P &'
4. Ο τύπος ∃ ∃ . ∧ , ∧ , αληθεύει στην παραπάνω δοµή.
14. Γ. Ασκήσεις
Εφαρµογή 1
14∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 3.3: Η γλώσσα της θεωρίας συνόλων
Θεωρούµε το σύνολο {1,2,3} και συµβολίζουµε µε P({1,2,3}) το δυναµοσύνολό του,
δηλαδή το σύνολο που περιέχει όλα τα υποσύνολα του {1,2,3}. Άρα:
P({1,2,3})={ ∅, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3} }
Ερµηνεύουµε στη δοµή αυτή το κατηγορηµατικό σύµβολο Q µε τη σχέση «είναι
υποσύνολο του» (δηλαδή Q(x,y) αν και µόνο αν ⊆ ) και το σύµβολο σταθεράς c µε το
στοιχείο ∅.
Γράψτε προτάσεις κατηγορηµατικής λογικής που να δηλώνουν ότι:
1. Το κενό υποσύνολο είναι υποσύνολο κάθε συνόλου
2. Υπάρχει σύνολο που περιέχει όλα τα σύνολα.
3. Για οποιοδήποτε ζευγάρι συνόλων υπάρχει ένα κοινό υποσύνολο που είναι το
µεγαλύτερο δυνατό (γνωστό ως τοµή συνόλων)
4. Για οποιοδήποτε ζευγάρι συνόλων υπάρχει ένα κοινό σύνολο που τα περιέχει και
είναι το µικρότερο δυνατό (γνωστό ως ένωση συνόλων)