Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
Μάθημα 7 (08.03.)
Δευτέρα 13 Μαρτίου 2017 - 10:27 μ.μ. - από τον χρήστη
Ορισιμότητα σε μια δομή [End. 2.2]
Τυπικές αποδείξεις (Συναγωγές)· Λογικά Αξιώματα· Ταυτολογίες· Αντικατάσταση [End. 2.4]
0 
0
Σχόλια (0)