Απαλοιφή ποσοδεικτών· Θεώρημα 31F· Θεώρημα 31G· Άσκηση 1. [End. 3.1]
Άσκηση 1. [End. 3.3]
Παρουσίαση Μη συμβατικής Ανάλυσης (Σύγκλιση) [End. 2.8]
Άσκηση 3. [End. 3.2]
Παρουσίαση Μη συμβατικής Aνάλυσης (Κατασκευή του *R, Αλγεβρικές ιδιότητες) [End. 2.8]
Άσκηση 2. [End. 3.2]
Παρουσίαση τοπολογικών αποδείξεων των Θεωρημάτων Συμπάγειας για την Προτασιακή και την Πρωτοτάξια Λογική
Θέση του Church· Θεώρημα 33F· Πόρισμα 33G· Θεώρημα 33H [End. 3.3]
Φυσικοί αριθμοί με διάδοχο [End. 3.1]
Μια υποθεωρία της θεωρίας αριθμών· Το σύνολο αξιωμάτων A(E)· Λήμμα 33A· Λήμμα 33B· Θεώρημα 33C· Πόρισμα 33D· Αντιπροσωπεύσιμες σχέσεις· Θεώρημα 33E [End. 3.3]
Προεπισκόπηση· Θεώρημα 30A [End. 3.0]
Άσκηση 7. [End. 2.5]
Ασκήσεις 3., 4., 7. [End. 2.6]
Εισαγωγή στη Μη Διαγνωσιμότητα [End. 3]
Θεωρία αριθμών [End. 3.0]
Μέγεθος Μοντέλων· Θεώρημα των Löwenheim-Skolem (1915)· Θεωρίες· Θεώρημα 26H· Έλεγχος Los-Vaught (1954)· Θεώρημα 26J [End. 2.6]
Ασκήσεις 1., 4., 5., 6., 8. [End. 2.5]
Δημοφιλείς αναρτήσεις
Ιστορικό αναρτήσεων
- 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)