Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
MATH348 - Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης
Μάθημα 13 (29.03.)
Θεώρημα Αριθμησιμότητας· Πόριμα 25F [End. 2.5]
Πεπερασμένα Μοντέλα· Θεώρημα 26A· Πόρισμα 26B [End. 2.6]
Σχόλια (0)