Εφαρμογές της Λογικής στην Πληροφορική
Γενικά στοιχεία
Περιγραφή
ΔΕΙΤΕ ΤΗΝ ΑΝΤΙΣΤΟΙΧΗ ΣΕΛΙΔΑ ΤΗΣ ΣΕΜΦΕ
Στο μάθημα θα ασχοληθούμε με πολλές πλευρές του λάμβδα λογισμού, της θεωρίας τύπων και τις συνδέσεις τους με τις γλώσσες προγραμματισμού.