1) Μη Ντετερμινιστικό Αυτόματο Στοίβας
1.1) Ορισμός Γλώσσας Ανεξάρτητης Συμφραζομένων
1.2) Ιδέα Πίσω από το Μη Ντετερνιστικό Αυτόματο Στοίβας
1.3) Παράδειγμα για την L={0^n 1^n | n≥0}
2) Μαθηματικός Ορισμός Μη Ντετερμισνιστικού Αυτομάτου Στοίβας
2.1) Ορισμός
2.2) Παράδειγμα
Ασκήσεις
Bagaimana supaya ilmu yang kita daptkan menjadi berkah dan menjadi ilmu yang bermanfaat bukan menjadi laknat maka harus kita mengetahui adab-adab dalam menuntut ilmu
1) Νόμοι Προτασιακής Λογικής
1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.
2) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς
2.3) Πλήρη Σύνολα Συνδέσμων
Ασκήσεις
1) Μη Ντετερμινιστικό Αυτόματο Στοίβας
1.1) Ορισμός Γλώσσας Ανεξάρτητης Συμφραζομένων
1.2) Ιδέα Πίσω από το Μη Ντετερνιστικό Αυτόματο Στοίβας
1.3) Παράδειγμα για την L={0^n 1^n | n≥0}
2) Μαθηματικός Ορισμός Μη Ντετερμισνιστικού Αυτομάτου Στοίβας
2.1) Ορισμός
2.2) Παράδειγμα
Ασκήσεις
Bagaimana supaya ilmu yang kita daptkan menjadi berkah dan menjadi ilmu yang bermanfaat bukan menjadi laknat maka harus kita mengetahui adab-adab dalam menuntut ilmu
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) Ορισμός του Αξιωματικού Συστήματος ΠΛ
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) Ορισμός του Αξιωματικού Συστήματος ΠΛ
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) Ορισμός του Αξιωματικού Συστήματος ΠΛ
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) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Σύνολο Τύπων
1.1) Ικανοποιήσιμο Σύνολο Τύπων
1.2) Μη Ικανοποιήσιμο Σύνολο Τύπων
2) Ταυτολογική Συνεπαγωγή
2.1) Συμβολισμός της ταυτολογίας
3) Ταυτολογικά Ισοδύναμοι Τύποι
Ασκήσεις
1) Σύνολο Τύπων
1.1) Ικανοποιήσιμο Σύνολο Τύπων
1.2) Μη Ικανοποιήσιμο Σύνολο Τύπων
2) Ταυτολογική Συνεπαγωγή
2.1) Συμβολισμός της ταυτολογίας
3) Ταυτολογικά Ισοδύναμοι Τύποι
Ασκήσεις
ΓΛΩΣΣΑ 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