Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
MATH348 - Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης
Μάιος 2014 | |
| Μάθημα 9ο (Διάρκεια: 2:00 ώρες) Δευτέρα 12 Μαΐου 2014 - 11:00 π.μ. Απόδει θ.Πληρότητας (συνέχεια) Θεωρ. Συμπάγειας Στοιχ. Θεωρία Δομών/Μοντέλων Θεωρ. Lowenheim-Skolem
Enderton κεφ.2 σελ. 163-174 |