Theoretical Informatics I
| Titre | ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I / Theoretical Informatics I |
| Code | 0401 |
| Cycle / Niveau | 1er cycle / Licence |
| Semestre de l’année | Spring |
| Coordinator | Georgios Rachonis |
| Common | Non |
| Statut | Actif |
| Course ID | 40000480 |
Programme d' Études: PPS Tmīma Mathīmatikṓn (2014-sīmera)
Registered students: 573
| Orientation | Attendance Type | Semester | Année | ECTS |
|---|---|---|---|---|
| KORMOS | YPOCΗREŌTIKO | 2 | 1 | 5.5 |
| Année Académique | 2019 – 2020 |
| Semestre de l’Année | Spring |
| Instructors from Other Categories |
|
| Weekly Hours | 3 |
| Class ID | 600147690
|
Course Type 2016-2020
- Cours Fondamental
- Domaine Scientifique
Mode d’Enseignement
- En présentiel
Accès en Ligne
- e-Study Guide https://qa.auth.gr/fr/class/1/600147690
- Autre: http://users.auth.gr/grahonis/TCS.html
Language of Instruction
- Grec (Enseignement, Examens)
Aptitudes Générales
- Application des connaissances à la pratique
- Recherche, analyse et synthèse de données et d’informations, avec utilisation des technologies adéquates
- Adaptation à des situations nouvelles
- Prise de décision
- Travail en autonomie
- Travail en environnement international
- Travail en environnement pluridisciplinaire
- Production de nouvelles idées de recherche
- Critique et autocritique
Type de Matériels Éducatifs
- Notes de cours
- Livre
Organisation du Cours
| Activités | Charge de travail | ECTS | Individuel | En groupe | Erasmus |
|---|---|---|---|---|---|
| Conferences | 39 | 1.3 | ✓ | ||
| Etude & analyse bibliographiques | 123 | 4.1 | |||
| Examens | 3 | 0.1 | |||
| Total | 165 | 5.5 |
Student Assessment
Student Assessment methods
- Examen écrit : réponses courtes (Sommative)
Bibliography
Course Bibliography (Eudoxus)
- Στοιχεία Θεωρίας Υπολογισμού των Η. Lewis και Χ. Παπαδημητρίου.
- Εισαγωγή στη Θεωρία Υπολογισμού του M. Sipser.
Additional bibliography for study
- John Hopcroft, Rajeev Motwani, Jeffrey Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 3rd edition 2007.
- Juraj Hromkovic, Theoretical Computer Science, Texts in Theoretical Computer Science, EATCS Series, Springer, 2004.
- Harry Lewis, Christos Papadimitriou, Elements of the Theory of Computation, Prentice-Hall Inc., 2nd edition 1998.
- Grzegorz Rozenberg, Arto Salomaa eds., Handbook of Formal Languages, volumes 1-3, Springer-Verlag, Berlin, 1997.
Last Update
21-04-2020
