Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
ΑΕ 2020-2021 Μάθημα 10 (Πέμπτη 12.11.2020)
Άσκηση 7 [End 2.4]
Θεώρημα 24 ( ́Υπαρξης αλφαβητικών παραλλαγών) [End 2.4]
Ισότητα [End 2.4]
Θεώρημα πληρότητας και θεώρημα αξιοπιστίας [End 2.5]
Σχόλια (0)