Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
MATH348 - Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης
Μάθημα 9 (15.03.)
Δευτέρα 27 Μαρτίου 2017 - 5:35 μ.μ. - από τον χρήστη
Μεταθεώρημα Γενίκευσης· Πόρισμα 24C (μεταθεώρημα Ταυτολογικών συνεπειών)· Μεταθεώρημα Συναγωγής· Πόρισμα 24D (μεταθεώρημα Αντιθετοαντιστροφής)· Πόρισμα 24E (μεταθεώρημα Απαγωγής σε άτοπο)· Στρατηγική για τυπικές αποδείξεις· Διατύπωση Μεταθεωρήματος 24F (Γενίκευση σε σταθερές), Πορίσματος 24H (μεταθεώρημα Ύπαρξης), Μεταθεωρήματος 24I (Αλφαβητικές Παραλλαγές) [End. 2.4]
0 
0
Σχόλια (0)