Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
Μάθημα 12 (24.03.)
Δευτέρα 27 Μαρτίου 2017 - 5:47 μ.μ. - από τον χρήστη
Λήμμα 25B· Λήμμα Αντικατάστασης· Βήματα 5, 6 της απόδειξης του Θεωρήματος Πληρότητας (περίπτωση πρωτοτάξιων γλωσσών με Ισότητα)· Θεώρημα Συμπάγειας [End. 2.5]
0 
0
Σχόλια (0)