Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
MATH348 - Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης
Μάιος 2014 | |
| Μάθημα 6ο (Διάρκεια: 2:00 ώρες) Παρασκευή 2 Μαΐου 2014 - 1:00 μ.μ. Μεταθεωρήματα : -Γενίκευσης -Ταυτολογιών -Ταυτολογικών Συνεπειών -Συναγωγής, Αντιθετοαντιστροφής, Απαγωγής σε Άτοπο Γενίκευση σε Σταθερές
Enderton κεφ.2 σελ1 133-141 |