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

Ιστολόγιο

Μάθημα 15 (05.04.)

Παρασκευή, 21 Απριλίου 2017 - 8:20 μ.μ.
- από τον χρήστη Μήτσης-Κουτούκης Στέφανος

Μέγεθος Μοντέλων· Θεώρημα των Löwenheim-Skolem (1915)· Θεωρίες· Θεώρημα 26H· Έλεγχος Los-Vaught (1954)· Θεώρημα 26J [End. 2.6]

 0   0
Σχόλια (0)