MSc specialization: λογική και θεωρία αλγορίθμων και υπολογισμού

Specialization requirements

• the course Μ6. Θεωρία συνόλων is required.

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