Topics in Mathematics Logic
| Titolo | ΘΕΜΑΤΑ ΜΑΘΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ / Topics in Mathematics Logic |
| Codice | 0639 |
| Ciclo / Livello di Studi | 1. Corso di Laurea, 2. Post Laurea |
| Semestre di Insegnamento | Spring |
| Coordinator | Ioannis Souldatos |
| Common | Sì |
| Stato | Attivo |
| Course ID | 40000027 |
Programma di Studio: PMS Tmīmatos Mathīmatikṓn (2018-sīmera)
Registered students: 4
| Indirizzo | Tipo di Frequenza | Semestre | Anno | 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 | Facoltativo a scelta libera | 2 | 1 | 10 |
| Anno Accademico | 2020 – 2021 |
| Semestre | Spring |
| Faculty Instructors | |
| Weekly Hours | 3 |
| Class ID | 600180367
|
Materiali Online
- e-Study Guide https://qa.auth.gr/it/class/1/600180367
- eLearning (Moodel/Moodle): https://elearning.auth.gr/course/view.php?id=15082
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
- Greco (Insegnamento, Esame)
- Inglese (Insegnamento, Esame)
Tipologia di Materiale Didattico
- Libro
- Diapositive
Use of Information and Communication Technologies
Use of ICT
- Uso delle TIC nell’ insegnamento
- Uso delle TIC nella comunicazione con gli studenti
- Uso delle TIC nella valutazione degli studenti
Student Assessment
Student Assessment methods
- Prova scritta semistrutturata con risposta breve (Formativa, Sommativa)
- Prova scritta con rispote aperte (Formativa, Sommativa)
- Prova scritta con soluzione di problemi (Formativa)
- Presentazione Pubblica (Sommativa)
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
12-02-2021
