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

Ημερολόγιο

Μάιος 2014
Μάθημα 12ο   (Διάρκεια: 2:00 ώρες)
Παρασκευή, 23 Μαΐου 2014 - 1:00 μ.μ.

Φυσικοί Αριθμοί με διάδοχο

Απαλοιφή ποσοδεικτών

Προδεσμευτική κανονική μορφή

 

Enderton κεφ.3 σελ. 215-221 , κεφ.2 σελ. 184-185