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 υποχρεωτικά.