Please ensure Javascript is enabled for purposes of website accessibility

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

Κωδικός : MATH348

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

MATH348  -  Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης

Ιστολόγιο

Μάθημα 13 (29.03.)

Παρασκευή 21 Απριλίου 2017 - 8:12 μ.μ.

- από τον χρήστη

Θεώρημα Αριθμησιμότητας· Πόριμα 25F [End. 2.5] 

Πεπερασμένα Μοντέλα· Θεώρημα 26A· Πόρισμα 26B [End. 2.6] 

Σχόλια (0)