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

Ημερολόγιο

Απρίλιος 2013
Μάθημα 12ο   (Διάρκεια: 2:00 ώρες)
Πέμπτη, 11 Απριλίου 2013 - 11:00 π.μ.

Ασκήσεις πάνω στην Μη Συμβατική Ανάλυση
Categoricity Test
Θεώρημα Łoś–Vaught
Σκιαγράφηση Απόδειξης
Λίγη "Φιλοσοφία"

 

(Enderton: Κεφάλαιο 2, σελ.178-180 & 157-159)