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

Ημερολόγιο

Φεβρουάριος 2013
Μάθημα 1ο   (Διάρκεια: 2:00 ώρες)
Πέμπτη, 28 Φεβρουαρίου 2013 - 11:00 π.μ.

Προκαταρκτικά

Αλφάβητο

Καλοσχηματισμένοι Τύποι (ΚΣΤ)

Επαγωγικές Αποδείξεις/Αναδρομικοί Ορισμοί

Σημασιολογία

Απονομή Αλήθειας

Θεώρημα Συμπάγειας

 

(Enderton: Κεφάλαιο 1)