Automata in Semi-rings
| Titel | ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ / Automata in Semi-rings |
| Code | 0865 |
| Cycle / Level | 2. Magisterstudiengang |
| Semester | Winter |
| Coordinator | Georgios Rachonis |
| Common | Ja |
| Status | Aktiv |
| Course ID | 600000888 |
Studienplan: PMS Tmīmatos Mathīmatikṓn (2018-sīmera)
Registered students: 12
| Fachrichtung | Form des Kursbesuchs | Semester | Jahr | ECTS |
|---|---|---|---|---|
| THEŌRĪTIKĪ PLĪROFORIKĪ KAI THEŌRIA SYSTĪMATŌN KAI ELEGCΗOU | A | 1 | 1 | 10 |
| Akademisches Jahr | 2025 – 2026 |
| Kurslehrdauer | Winter |
| Faculty Instructors | |
| Weekly Hours | 3 |
| Total Hours | 39 |
| Class ID | 600290409
|
Type Of Offer
- Επιστημονικής Περιοχής
Veranstaltungstyp
- Persönliche Anwesenheit
- Fernstudium
Elektronischer Zugang zu Unterrichtsmaterialien
- e-Study Guide https://qa.auth.gr/de/class/1/600290409
- Sonstiges: https://grahonis.webpages.auth.gr/AOS.html
Erasmus
The course is also offered to exchange programme students.
Sprache
- Griechisch (Lehre, Prüfung)
Allgemeine Kompetenzen
- Anwendung des Wissens in der Praxis
- Recherche, Analyse und Verarbeitung von Daten und Informationen mittels der Verwendung technologischer Medien
- Entscheidungsfähigkeit
- Autonomes Arbeiten
- Gruppenarbeit
- Arbeit in einem internationalen Umfeld
- Arbeit in einem multidisziplinären Umfeld
- Produktion von neuen Forschungsideen
- Kritik und Selbstkritik
- Förderung des freien, kreativen und induktiven Denkens
Lehrmaterialien
- Buch
- Audio
- Interaktive Übungen
Einsatz von Informations- und Kommunikationstechnologie
IKT-Nutzung
- Einsatz von IKT in der Lehre
- Einsatz von IKT in der Bewertung der Studierenden
Unterrichtsorganisation
| Activities | Arbeitsbelastung | ECTS | Einzelarbeit | Gruppenarbeit | Erasmus |
|---|---|---|---|---|---|
| Vorlesungen | 39 | 1.3 | ✓ | ||
| Rezeption/ Analyse von Texten | 183 | 6.1 | ✓ | ||
| Übung | 13 | 0.4 | |||
| Projekt | 20 | 0.7 | ✓ | ||
| Erstellen einer Arbeit / v. Arbeiten | 40 | 1.3 | ✓ | ||
| Prüfung | 5 | 0.2 | ✓ | ||
| Total | 300 | 10 |
Bewertung der Studierenden
Beschreibung des Verfahrens
- Schriftliche Prüfung mit kurzen Antworten auf Fragen (Entwicklung, Endnote)
- Schriftliche Prüf. mit ausführlichen Antworten auf Fragen (Entwicklung, Endnote)
- Schriftliche Prüfung mit Problemlösung (Entwicklung, Endnote)
Empfohlene Bibliographie
zum Kurs (Eudoxos)
Σημειώσεις του διδάσκοντα
Weitere Bibliographie
- M. Droste, W. Kuich, and H. Vogler, eds., Handbook of Weighted Automata, EATCS Monographs in Theoretical
Computer Science, Springer, 2009.
- Z. Ésik, W. Kuich, Modern Automata Theory, http://www.dmg.tuwien.ac.at/kuich/mat.ps
- W. Kuich, Semirings and formal power series: Their relevance to formal languages and automata theory, in:
Handbook of of Formal Languages, volume 1, Chapter 9, Springer, Berlin, pages 609-667.
- W. Kuich A. Salomaa, Semirings, Automata, Languages, EATCS Monographs in Theoretical Computer Science,
Springer, 1986.
- J. Sakarovitch, Elements of Automata Theory, Cambridge, 2009.
- A. Salomaa, M. Soittola, Automata-Theoretic Aspects of Formal Power Series, Springer, Berlin, 1978.
- J. Berstel, Ch. Reutenauer, Rational Series and Their Languages, EATCS Monographs in Theoretical Computer
Science, Springer, 1988.
Last Update
07-05-2025
