Μάθημα 1 (15.02.)
Δευτέρα, 20 Φεβρουαρίου 2017 - 7:24 μ.μ.
- από τον χρήστη Μήτσης-Κουτούκης ΣτέφανοςΤυπικές Γλώσσες [End. 1.0]
Εισαγωγή στην Προτασιακή Λογική [End. 1.1]
Αναδρομή και Επαγωγή [End. 1.4]
Απονομή Αληθοτιμών· Διατύπωση του Θεωρήματος Συμπάγειας [End. 1.2]
Σχόλια (0)