Please ensure Javascript is enabled for purposes of website accessibility

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

MATH348  -  Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης

Ιστολόγιο

Τετάρτη 23 Δεκεμβρίου 2020 - 10:58 π.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Αλγεβρικές Ιδιότητες και Σύγλιση στην Μη Συμβατική Ανάλυση [End 2.8] 

 |  Σχόλια (0)

Τετάρτη 23 Δεκεμβρίου 2020 - 10:55 π.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Θεώρημα Πληρότητας [End 2.5]
Μέγεθος Μοντέλων [End 2.6]

 |  Σχόλια (0)

Παρασκευή 18 Δεκεμβρίου 2020 - 1:00 μ.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Θεώρημα Πληρότητας [End. 2.5]

 |  Σχόλια (0)

Πέμπτη 10 Δεκεμβρίου 2020 - 1:11 μ.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Μη Συμβατική Ανάλυση [End 2.8]

 |  Σχόλια (0)

Πέμπτη 3 Δεκεμβρίου 2020 - 3:15 μ.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Θεώρημα Συμπάγειας [End 2.5]
Ασκήσεις 5, 6 [End 2.5]
Πεπερασμένα Μοντέλα (Θεώρηματα Α, Β) [End 2.6]
Θεωρίες [End 2.6]

 |  Σχόλια (0)

Τρίτη 1 Δεκεμβρίου 2020 - 6:48 π.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Ομομορφισμοί [End 2.2]

 |  Σχόλια (0)

Τρίτη 1 Δεκεμβρίου 2020 - 6:47 π.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Αλήθεια και Μοντέλα [End 2.2, (χωρίς τους ομομορφίσμους)]

 |  Σχόλια (0)

Κυριακή 22 Νοεμβρίου 2020 - 2:07 π.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Θεώρημα Αξιοπιστίας [End 2.5]
Λήμμα 25Α [End 2.5]
Λήμμα 25Β [End 2.5]
Λήμμα αντικατάστασης [End 2.5]

 |  Σχόλια (0)

Σάββατο 21 Νοεμβρίου 2020 - 12:46 π.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Θεώρημα Πληρότητας [End 2.5]
Θεώρημα Συμπάγειας  [End 2.5]

 |  Σχόλια (0)

Σάββατο 21 Νοεμβρίου 2020 - 12:40 π.μ.

- από τον χρήστη ΓΚΟΛΟΣΗ ΒΑΣΙΛΕΙΟΣ

Αλγόριθμος συντακτικής ανάλυσης [End 2.3]
Άσκηση 1 [End 2.3]
Ασκήσεις 2, 4, 6, 7, 9, 10, 11 [End 2.4]

 |  Σχόλια (0)

Δημοφιλείς αναρτήσεις

Ιστορικό αναρτήσεων