Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
Μάθημα 4 (Τετάρτη, 28.02.)
Πρωτοτάξιες γλώσσες [End. 2.1]
Λήμμα 23A · Λήμμα 23B · Πόρισμα 23C · Συντακτική ανάλυση όρων [End. 2.3]
Αλήθεια και μοντέλα · Λογική συνεπαγωγή [End. 2.2]
Σχόλια (0)