eClass ΕΚΠΑ | Μαθηματική Λογική (μεταπτυχιακό...

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

MATH348 - Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης

Χαρτοφυλάκιο - Ιστολόγιο

Μάθημα 3 (22.02.)

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

- από τον χρήστη

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

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

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

Μάθημα 2 (17.02.)

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

- από τον χρήστη

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

Μάθημα 1 (15.02.)

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

- από τον χρήστη

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

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

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

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