Topics in Mathematics Logic

Informationen zur Lehrveranstaltung
TitelΘΕΜΑΤΑ ΜΑΘΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ / Topics in Mathematics Logic
Code0639
Cycle / Level1. Grund- und Hauptstudiengang, 2. Magisterstudiengang
SemesterSpring
CoordinatorIoannis Souldatos
CommonJa
StatusAktiv
Course ID40000027

Studienplan: PMS Tmīmatos Mathīmatikṓn (2018-sīmera)

Registered students: 11
FachrichtungForm des KursbesuchsSemesterJahrECTS
THEŌRĪTIKA MATHĪMATIKAA I2110
THEŌRĪTIKĪ PLĪROFORIKĪ KAI THEŌRIA SYSTĪMATŌN KAI ELEGCΗOUWahlveranstaltung2110
Informationen zur Veranstaltung
Akademisches Jahr2021 – 2022
KurslehrdauerSpring
Faculty Instructors
Weekly Hours3
Class ID
600193657
Elektronischer Zugang zu Unterrichtsmaterialien
Erasmus
The course is also offered to exchange programme students.
Sprache
  • Griechisch (Lehre, Prüfung)
  • Englisch (Lehre, Prüfung)
Lehrmaterialien
  • Buch
  • Folien
Einsatz von Informations- und Kommunikationstechnologie
IKT-Nutzung
  • Einsatz von IKT in der Lehre
  • Einsatz von IKT in der Bewertung der Studierenden
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)
  • Ö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, Χρήστος Παπαδημητρίου: Στοιχεία Θεωρίας Υπολογισμού, Εκδόσεις Κριτική
Last Update
21-02-2022