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

Ημερολόγιο

Μάρτιος 2013
Μάθημα 2ο   (Διάρκεια: 2:00 ώρες)
Παρασκευή, 1 Μαρτίου 2013 - 4:00 μ.μ.

Αλφάβητα

Όροι

Ατομικοί Τύποι

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

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

Δομή Πρωτοτάξιας Γλώσσας

Απονομή

Αναδρομικός Ορισμός της Αλήθειας

 

(Enderton: Κεφάλαιο 2, μέχρι σελ.88)