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

Ιστολόγιο

Μάθημα 3 (22.02.)

Τρίτη, 28 Φεβρουαρίου 2017 - 10:36 μ.μ.
- από τον χρήστη Μήτσης-Κουτούκης Στέφανος

Πρωτοτάξιες Γλώσσες· Τύποι· Ελεύθερες/Δεσμευμένες εμφανίσεις μεταβλητών [End. 2.1]

Αλγόριθμος ελέγχου καλώς σχηματισμένων τύπων [End. 2.3] 

Δομές· Απονομές· Ικανοποίηση τύπων [End. 2.2]

 

 0   0
Σχόλια (0)