Topics in Mathematics Logic
| Titel | ΘΕΜΑΤΑ ΜΑΘΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ / Topics in Mathematics Logic |
| Code | 0639 |
| Cycle / Level | 1. Grund- und Hauptstudiengang, 2. Magisterstudiengang |
| Semester | Spring |
| Coordinator | Ioannis Souldatos |
| Common | Ja |
| Status | Aktiv |
| Course ID | 40000027 |
Studienplan: PMS Tmīmatos Mathīmatikṓn (2018-sīmera)
Registered students: 10
| Fachrichtung | Form des Kursbesuchs | Semester | Jahr | ECTS |
|---|---|---|---|---|
| THEŌRĪTIKA MATHĪMATIKA | A I | 2 | 1 | 10 |
| THEŌRĪTIKĪ PLĪROFORIKĪ KAI THEŌRIA SYSTĪMATŌN KAI ELEGCΗOU | Wahlveranstaltung | 2 | 1 | 10 |
| Akademisches Jahr | 2025 – 2026 |
| Kurslehrdauer | Spring |
| Faculty Instructors | |
| Class ID | 600291529
|
Type Of Offer
- Επιστημονικής Περιοχής
Veranstaltungstyp
- Persönliche Anwesenheit
- Fernstudium
Elektronischer Zugang zu Unterrichtsmaterialien
- e-Study Guide https://qa.auth.gr/de/class/1/600291529
- eLearning (Moodle): https://elearning.auth.gr/course/view.php?id=15082
Erasmus
The course is also offered to exchange programme students.
Sprache
- Griechisch (Lehre, Prüfung)
- Englisch (Lehre, Prüfung)
Prerequisites
Required Courses
- 0133 Mathematical Logic I
Allgemeine Kompetenzen
- Recherche, Analyse und Verarbeitung von Daten und Informationen mittels der Verwendung technologischer Medien
- Anpassung an neue Situationen
- Autonomes Arbeiten
- Gruppenarbeit
- Produktion von neuen Forschungsideen
Lehrmaterialien
- Buch
- Folien
- 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)
- Öffentliche Präsentation (Endnote)
Empfohlene Bibliographie
zum Kurs (Eudoxos)
Βιβλιογραφία Θεωρίας Μοντέλων D. Marker, Model Theory: An Introduction
Βιβλιογραφία Θεωρίας Συνόλων: T. Jech, Set Theory
Βιβλιογραφία Θεωρίας Υπολογισμού:
1. Γιάννης Μοσχοβάκης, Αναδρομή και Υπολογισιμότητα, Διαθέσιμο στη ιστοσελίδα του συγγραφέα: https://www.math.ucla.edu/~ynm/books.htm (πρόσβαση 9/2/2021)
2. Michael Sipser: Εισαγωγή στην Θεωρία Υπολογισμού, Πανεπιστημιακές Εκδόσεις Κρήτης
3. Harry Lewis, Χρήστος Παπαδημητρίου: Στοιχεία Θεωρίας Υπολογισμού, Εκδόσεις Κριτική
Weitere Bibliographie
D. Marker, Model Theory: An Introduction
T. Jech, Set Theory
Last Update
12-05-2025
