Please ensure Javascript is enabled for purposes of website accessibility

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

Κωδικός : MATH348

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

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

Ιστολόγιο

Μάθημα 1 (15.02.)

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

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

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

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

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

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

Σχόλια (0)