Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
MATH348 - Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης
Μάρτιος 2019 | |
| Τυπικά θεωρήματα, Αξιωματικά Συστήματα, Τυπικές Αποδείξεις, Το Αξιωματικό Σύστημα του Hilbert, Θεωρήματα Απαγωγής, Αντιθετοαντιστροφής, και Απαγωγής σε Άτοπο, Συνέπεια (Διάρκεια: 2:00 ώρες) Τρίτη 5 Μαρτίου 2019 - 3:00 μ.μ. |