Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
Μάθημα 11 (Τετάρτη, 18.04.)
Θεωρήματα Συμπάγειας, Αριθμησιμότητας · Πορίσματα 25F, 25G [End. 2.5]
Πεπερασμένα μοντέλα · Μέγεθος μοντέλων [End. 2.6]
Σχόλια (0)