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

Ιστολόγιο

Μάθημα 12 (24.03.)

Δευτέρα, 27 Μαρτίου 2017 - 5:47 μ.μ.
- από τον χρήστη Μήτσης-Κουτούκης Στέφανος

Λήμμα 25B· Λήμμα Αντικατάστασης· Βήματα 5, 6 της απόδειξης του Θεωρήματος Πληρότητας (περίπτωση πρωτοτάξιων γλωσσών με Ισότητα)· Θεώρημα Συμπάγειας [End. 2.5]

 0   0
Σχόλια (0)