Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
MATH348 - Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης
Μάρτιος 2013 | |
| Μάθημα 2ο (Διάρκεια: 2:00 ώρες) Παρασκευή 1 Μαρτίου 2013 - 4:00 μ.μ. Αλφάβητα Όροι Ατομικοί Τύποι Καλοσχηματισμένοι Τύποι (ΚΣΤ) Σημασιολογία Δομή Πρωτοτάξιας Γλώσσας Απονομή Αναδρομικός Ορισμός της Αλήθειας
(Enderton: Κεφάλαιο 2, μέχρι σελ.88) |