Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
MATH348 - Δημήτριος Θηλυκός και Ελευθέριος Κυρούσης
Μάρτιος 2019 | |
| Θεὠρημα Εγκυρότητας, Θεώρημα Πληρότητας (Διάρκεια: 2:00 ώρες) Τετάρτη 6 Μαρτίου 2019 - 3:00 μ.μ. | |
| Τυπικά θεωρήματα, Αξιωματικά Συστήματα, Τυπικές Αποδείξεις, Το Αξιωματικό Σύστημα του Hilbert, Θεωρήματα Απαγωγής, Αντιθετοαντιστροφής, και Απαγωγής σε Άτοπο, Συνέπεια (Διάρκεια: 2:00 ώρες) Τρίτη 5 Μαρτίου 2019 - 3:00 μ.μ. | |
Φεβρουάριος 2019 | |
| Μη πλήρη σύνολα συνδέσμων, Συναρτήσεις Boole, Ορισμός Αξιωματικού Συστήματος (Διάρκεια: 2:00 ώρες) Τετάρτη 27 Φεβρουαρίου 2019 - 3:00 μ.μ. | |
| Πλήρη σύνολα συνδέσμων, Συναρτήσεις Boole, κανονική διαζευκτική μορφή (Διάρκεια: 2:00 ώρες) Τρίτη 26 Φεβρουαρίου 2019 - 3:00 μ.μ. | |
| Αποτιμήσεις, επεκτάσεις αποτιμήσεων, δενδροδιαγράμματα, ταυτολογία, αντίφαση, ταυτολογική συνεπαγωγή, ταυτολογική ισοδυναμία (Διάρκεια: 2:00 ώρες) Τετάρτη 20 Φεβρουαρίου 2019 - 3:00 μ.μ. | |
| Εκφράσεις, Τύποι, Θεώρημα Μοναδικής Αναγνωσιμότητας, Δενδροδιαγράμματα Τύπων (Διάρκεια: 2:00 ώρες) Τρίτη 19 Φεβρουαρίου 2019 - 3:00 μ.μ. | |
Ιούνιος 2014 | |
| Μάθημα 20ο (Διάρκεια: 2:00 ώρες) Δευτέρα 16 Ιουνίου 2014 - 11:00 π.μ. | |
| Μάθημα 18ο (Διάρκεια: 1:00 ώρες) Πέμπτη 12 Ιουνίου 2014 - 2:00 μ.μ. | |
| Μάθημα 17ο (Διάρκεια: 2:00 ώρες) Παρασκευή 6 Ιουνίου 2014 - 1:00 μ.μ. | |
| Μάθημα 16ο (Διάρκεια: 1:00 ώρες) Πέμπτη 5 Ιουνίου 2014 - 2:00 μ.μ. | |
| Μάθημα 15ο (Διάρκεια: 2:00 ώρες) Δευτέρα 2 Ιουνίου 2014 - 11:00 π.μ. | |
Μάιος 2014 | |
| Μάθημα 14ο (Διάρκεια: 2:00 ώρες) Παρασκευή 30 Μαΐου 2014 - 1:00 μ.μ. | |
| Μάθημα 13ο (Διάρκεια: 1:00 ώρες) Πέμπτη 29 Μαΐου 2014 - 2:00 μ.μ. | |
| Μάθημα 12ο (Διάρκεια: 2:00 ώρες) Παρασκευή 23 Μαΐου 2014 - 1:00 μ.μ. | |
| Μάθημα 11ο (Διάρκεια: 2:00 ώρες) Δευτέρα 19 Μαΐου 2014 - 11:00 π.μ. | |
| Μάθημα 10ο (Διάρκεια: 2:00 ώρες) Παρασκευή 16 Μαΐου 2014 - 1:00 μ.μ. | |
| Μάθημα 9ο (Διάρκεια: 2:00 ώρες) Δευτέρα 12 Μαΐου 2014 - 11:00 π.μ. | |
| Μάθημα 8ο (Διάρκεια: 2:00 ώρες) Παρασκευή 9 Μαΐου 2014 - 1:00 μ.μ. | |
| Μάθημα 7ο (Διάρκεια: 2:00 ώρες) Πέμπτη 8 Μαΐου 2014 - 1:00 μ.μ. | |
| Μάθημα 6ο (Διάρκεια: 2:00 ώρες) Παρασκευή 2 Μαΐου 2014 - 1:00 μ.μ. | |
Απρίλιος 2014 | |
| Μάθημα 5ο (Διάρκεια: 2:00 ώρες) Παρασκευή 25 Απριλίου 2014 - 1:00 μ.μ. | |
| Μάθημα 4ο (Διάρκεια: 2:00 ώρες) Πέμπτη 24 Απριλίου 2014 - 11:00 π.μ. | |
| Μάθημα 3ο (Διάρκεια: 2:00 ώρες) Δευτέρα 14 Απριλίου 2014 - 12:00 μ.μ. | |
Μάρτιος 2014 | |
| Μάθημα 2ο (Διάρκεια: 2:00 ώρες) Παρασκευή 21 Μαρτίου 2014 - 12:00 μ.μ. | |
| Μάθημα 1ο (Διάρκεια: 2:00 ώρες) Πέμπτη 20 Μαρτίου 2014 - 12:00 μ.μ. | |
Μάιος 2013 | |
| Μάθημα 21ο (Διάρκεια: 2:00 ώρες) Πέμπτη 30 Μαΐου 2013 - 11:00 π.μ. | |
| Μάθημα 20ο (Διάρκεια: 2:00 ώρες) Πέμπτη 23 Μαΐου 2013 - 11:00 π.μ. | |
| Μάθημα 19ο (Διάρκεια: 2:00 ώρες) Παρασκευή 17 Μαΐου 2013 - 4:00 μ.μ. | |
| Μάθημα 18ο (Διάρκεια: 2:00 ώρες) Πέμπτη 16 Μαΐου 2013 - 11:00 π.μ. | |
Απρίλιος 2013 | |
| Μάθημα 17ο (Διάρκεια: 2:00 ώρες) Παρασκευή 26 Απριλίου 2013 - 4:00 μ.μ. | |
| Μάθημα 16ο (Διάρκεια: 2:00 ώρες) Πέμπτη 25 Απριλίου 2013 - 11:00 π.μ. | |
| Μάθημα 15ο (Διάρκεια: 2:00 ώρες) Παρασκευή 19 Απριλίου 2013 - 4:00 μ.μ. | |
| Μάθημα 14ο (Διάρκεια: 2:00 ώρες) Πέμπτη 18 Απριλίου 2013 - 11:00 π.μ. | |
| Μάθημα 13ο (Διάρκεια: 2:00 ώρες) Παρασκευή 12 Απριλίου 2013 - 4:00 μ.μ. | |
| Μάθημα 12ο (Διάρκεια: 2:00 ώρες) Πέμπτη 11 Απριλίου 2013 - 11:00 π.μ. | |
| Μάθημα 11ο (Διάρκεια: 2:00 ώρες) Παρασκευή 5 Απριλίου 2013 - 4:00 μ.μ. | |
| Μάθημα 10ο (Διάρκεια: 2:00 ώρες) Πέμπτη 4 Απριλίου 2013 - 11:00 π.μ. | |
Μάρτιος 2013 | |
| Μάθημα 9ο (Διάρκεια: 2:00 ώρες) Παρασκευή 29 Μαρτίου 2013 - 4:00 μ.μ. | |
| Μάθημα 8ο (Διάρκεια: 2:00 ώρες) Πέμπτη 28 Μαρτίου 2013 - 11:00 π.μ. | |
| Μάθημα 7ο (Διάρκεια: 2:00 ώρες) Πέμπτη 21 Μαρτίου 2013 - 11:00 π.μ. | |
| Μάθημα 6ο (Διάρκεια: 2:00 ώρες) Παρασκευή 15 Μαρτίου 2013 - 4:00 μ.μ. | |
| Μάθημα 5ο (Διάρκεια: 2:00 ώρες) Πέμπτη 14 Μαρτίου 2013 - 11:00 π.μ. | |
| Μάθημα 4ο (Διάρκεια: 2:00 ώρες) Παρασκευή 8 Μαρτίου 2013 - 4:00 μ.μ. | |
| Μάθημα 3ο (Διάρκεια: 2:00 ώρες) Πέμπτη 7 Μαρτίου 2013 - 11:00 π.μ. | |
| Μάθημα 2ο (Διάρκεια: 2:00 ώρες) Παρασκευή 1 Μαρτίου 2013 - 4:00 μ.μ. | |
Φεβρουάριος 2013 | |
| Μάθημα 1ο (Διάρκεια: 2:00 ώρες) Πέμπτη 28 Φεβρουαρίου 2013 - 11:00 π.μ. |