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

Ιστολόγιο

Τρίτη, 28 Φεβρουαρίου 2017 - 10:36 μ.μ.

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

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

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

Σχόλια (0)

Δευτέρα, 20 Φεβρουαρίου 2017 - 7:27 μ.μ.

Απόδειξη του Θεωρήματος Συμπάγειας· Διαγνωσιμότητα [End. 1.7]

Σχόλια (0)

Δευτέρα, 20 Φεβρουαρίου 2017 - 7:24 μ.μ.

Τυπικές Γλώσσες [End. 1.0]

Εισαγωγή στην Προτασιακή Λογική [End. 1.1]

Αναδρομή και Επαγωγή [End. 1.4]

Απονομή Αληθοτιμών· Διατύπωση του Θεωρήματος Συμπάγειας [End. 1.2]

Σχόλια (0)