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

Ημερολόγιο

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

Προδεσμευτική (Προτακτική) Κανονική Μορφή

Μη Συμβατική Ανάλυση

Πρωτοτάξια Γλώσσα για τους Πραγματικούς

Σύνολο Τύπων

Συμβολισμός

 

(Enderton: Κεφάλαιο 2, σελ.160-162 & 173-176)