Θεώρημα Αριθμησιμότητας· Πόριμα 25F [End. 2.5]
Πεπερασμένα Μοντέλα· Θεώρημα 26A· Πόρισμα 26B [End. 2.6]
Λήμμα 25B· Λήμμα Αντικατάστασης· Βήματα 5, 6 της απόδειξης του Θεωρήματος Πληρότητας (περίπτωση πρωτοτάξιων γλωσσών με Ισότητα)· Θεώρημα Συμπάγειας [End. 2.5]
Θεώρημα Αξιοπιστίας (Ορθότητας)· Θεώρημα Πληρότητας [End. 2.5]
Παράδειγμα EQ5· Απόδειξη Μεταθεωρήματος 24F, Πορίσματος 24G, Πορίσματος 24H [End. 2.4]
Μεταθεώρημα Γενίκευσης· Πόρισμα 24C (μεταθεώρημα Ταυτολογικών συνεπειών)· Μεταθεώρημα Συναγωγής· Πόρισμα 24D (μεταθεώρημα Αντιθετοαντιστροφής)· Πόρισμα 24E (μεταθεώρημα Απαγωγής σε άτοπο)· Στρατηγική για τυπικές αποδείξεις· Διατύπωση Μεταθεωρήματος 24F (Γενίκευση σε σταθερές), Πορίσματος 24H (μεταθεώρημα Ύπαρξης), Μεταθεωρήματος 24I (Αλφαβητικές Παραλλαγές) [End. 2.4]
Ασκήσεις 18.(β), 19., 20. [End. 2.2]
Ορισιμότητα σε μια δομή [End. 2.2]
Τυπικές αποδείξεις (Συναγωγές)· Λογικά Αξιώματα· Ταυτολογίες· Αντικατάσταση [End. 2.4]
Ολοκλήρωση απόδειξης Θεωρήματος 17B· Απόδειξη Θεωρήματος 17C, Πορίσματος 17D, Θεωρημάτων 17E, 17F, 17G [End. 1.7]
Αλγόριθμος Συντακτικής Ανάλυσης· Θεώρημα μοναδικής αναγνωσιμότητας για Όρους· Θεώρημα μοναδικής αναγνωσιμότητας για Τύπους [End. 2.3]
Θεώρημα του Ομομορφισμού και απόδειξη στην περίπτωση του Ισομορφισμού· Στοιχειώδης Ισοδυναμία δομών· Ασκήσεις 17., 18.(α) [End. 2.2]
Αλήθεια κατά Tarski· Λογική Συνεπαγωγή· Ομομορφισμοί Δομών [End. 2.2]
Ασκήσεις 4., 10. [End. 1.2]
Ασκήσεις 2., 3., 4.· Έναρξη απόδειξης Θεωρήματος 17B [End. 1.7]
Δημοφιλείς αναρτήσεις
Ιστορικό αναρτήσεων
- 2020 (21)
- Δεκέμβριος (7)
- ΑΕ 2020-2021 Μάθημα 20 (Παρασκευή 18.12.2020)
- ΑΕ 2020-2021 Μάθημα 19 (Πέμπτη 17.12.2020)
- ΑΕ 2020-2021 Μάθημα 18 (Πέμπτη 10.12.2020)
- ΑΕ 2020-2021 Μάθημα 17 (Παρασκευή 4.12.2020)
- ΑΕ 2020-2021 Μάθημα 16 (Πέμπτη 3.12.2020)
- ΑΕ 2020-2021 Μάθημα 15 (Παρασκευή 27.11.2020)
- ΑΕ 2020-2021 Μάθημα 14 (Πέμπτη 26.11.2020)
- Νοέμβριος (6)
- Οκτώβριος (7)
- Ιανουάριος (1)
- Δεκέμβριος (7)
- 2019 (20)
- Δεκέμβριος (6)
- Νοέμβριος (6)
- Οκτώβριος (8)
- ΑΕ 2019-2020 Μάθημα 8 (Τετάρτη 23.10.)
- ΑΕ 2019-2020 Μάθημα 7 (Δευτέρα 21.10.)
- ΑΕ 2019-2020 Μάθημα 6 (Τετάρτη 16.10)
- ΑΕ 2019-2020 Μάθημα 5 (Δευτέρα 14.10.)
- ΑΕ 2019-2020 Μάθημα 4 (Τετάρτη 9.10.)
- ΑΕ 2019-2020 Μάθημα 3 (Δευτέρα 07.10.)
- ΑΕ 2019-2020 Μάθημα 2 (Τετάρτη 02.10.)
- ΑΕ 2019-2020 Μάθημα 1 (Δευτέρα 30.09.)
- 2018 (19)
- Μάιος (7)
- Απρίλιος (3)
- Μάρτιος (6)
- Φεβρουάριος (3)
- 2017 (23)
- Μάιος (8)
- Απρίλιος (3)
- Μάρτιος (9)
- Φεβρουάριος (3)