Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)

Θεώρημα Αριθμησιμότητας· Πόριμα 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]