Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
Μάθημα 6 (03.03.)
Παρασκευή 3 Μαρτίου 2017 - 7:23 μ.μ. - από τον χρήστη
Ολοκλήρωση απόδειξης Θεωρήματος 17B· Απόδειξη Θεωρήματος 17C, Πορίσματος 17D, Θεωρημάτων 17E, 17F, 17G [End. 1.7]
Αλγόριθμος Συντακτικής Ανάλυσης· Θεώρημα μοναδικής αναγνωσιμότητας για Όρους· Θεώρημα μοναδικής αναγνωσιμότητας για Τύπους [End. 2.3]
Θεώρημα του Ομομορφισμού και απόδειξη στην περίπτωση του Ισομορφισμού· Στοιχειώδης Ισοδυναμία δομών· Ασκήσεις 17., 18.(α) [End. 2.2]
0 
0
Σχόλια (0)