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

Ιστολόγιο

Μάθημα 7 (08.03.)

Δευτέρα, 13 Μαρτίου 2017 - 10:27 μ.μ.
- από τον χρήστη Μήτσης-Κουτούκης Στέφανος

Ορισιμότητα σε μια δομή [End. 2.2] 

Τυπικές αποδείξεις (Συναγωγές)· Λογικά Αξιώματα· Ταυτολογίες· Αντικατάσταση [End. 2.4]

 0   0
Σχόλια (0)