Topics in Mathematics Logic
| Titre | ΘΕΜΑΤΑ ΜΑΘΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ / Topics in Mathematics Logic |
| Code | 0639 |
| Cycle / Niveau | 1er cycle / Licence , 2e cycle / Master |
| Semestre de l’année | Spring |
| Coordinator | Ioannis Souldatos |
| Common | Oui |
| Statut | Actif |
| Course ID | 40000027 |
Programme d' Études: PMS Tmīmatos Mathīmatikṓn (2018-sīmera)
Registered students: 11
| Orientation | Attendance Type | Semester | Année | 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 | EPILOGĪS | 2 | 1 | 10 |
| Année Académique | 2021 – 2022 |
| Semestre de l’Année | Spring |
| Faculty Instructors | |
| Weekly Hours | 3 |
| Class ID | 600193657
|
Accès en Ligne
- e-Study Guide https://qa.auth.gr/fr/class/1/600193657
- eLearning (Moodle): https://elearning.auth.gr/course/view.php?id=15082
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
- Grec (Enseignement, Examens)
- Anglais (Enseignement, Examens)
Type de Matériels Éducatifs
- Notes de cours
Use of Information and Communication Technologies
Use of ICT
- Emploi de TIC pour l’enseignement
- Emploi de TIC pour communiquer avec les étudiants
- Emploi de TIC pour l’évaluation des étudiants
Student Assessment
Student Assessment methods
- Examen écrit : réponses courtes (Formative, Sommative)
- Examen écrit : réponses plus longues (Formative, Sommative)
- Examen écrit : résolution de problèmes (Formative)
- Présentation publique (Sommative)
Bibliography
Course Bibliography (Eudoxus)
Βιβλιογραφία Θεωρίας Μοντέλων 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, Χρήστος Παπαδημητρίου: Στοιχεία Θεωρίας Υπολογισμού, Εκδόσεις Κριτική
Last Update
21-02-2022
