Navigator
Fortune cookie
“Your discovery of the contradiction caused me the greatest surprise and, I would almost say, consternation, since it has shaken the basis on which I intended to build my arithmetic.... It is all the more serious since, with the loss of my rule V, not only the foundations of my arithmetic, but also the sole possible foundations of arithmetic seem to vanish.”
Gottlob Frege.
MSc specialization: πληροφορική λογική
Specialization requirements
-
the course Π6. Βασικό μάθημα στη θεωρητική πληροφορική is required.
-
at least 16 teaching credits must be obtained
from courses belonging to any of the following types:
επιλογής (πληροφορική λογική),
επιλογής (λογική),
Ειδικά θέματα στη λογική,
ειδικά θέματα στην πληροφορική.
Requirements independent of specialization
-
διπλωματική εργασία.
-
at least 42 teaching credits must be obtained
from courses belonging to any of the following types:
υποχρεωτικά,
κατ' επιλογήν υποχρεωτικά,
επιλογής (πληροφορική λογική),
επιλογής (μαθηματική λογική),
επιλογής (λογική),
Ειδικά θέματα στη λογική,
ειδικά θέματα στην πληροφορική,
ειδικά θέματα στα μαθηματικά,
μαθήματα μελέτης,
σεμιναρικά μαθήματα μελέτης,
μαθήματα από άλλα Π.Μ.Σ..
The following restrictions apply:
-
at most 8 teaching credits may be obtained
from courses belonging to any of the following types:
μαθήματα μελέτης,
σεμιναρικά μαθήματα μελέτης.
-
at most 8 teaching credits may be obtained
from courses of the type μαθήματα από άλλα Π.Μ.Σ..
-
pass all courses of the type υποχρεωτικά.
Web standards:
XHTML1.0, CSS3.