Zur Merkliste hinzufügen
Zurück

 

52345-01 - Hauptvorlesung: Einführung in die Logik 6 KP

Semester Herbstsemester 2018
Angebotsmuster unregelmässig
Dozierende Fabrizio Barroero (fabrizio.barroero@unibas.ch, BeurteilerIn)
Inhalt Set Theory: posets, ordinals and cardinals.
Model Theory: first order structures and formulas, the compactness theorem.
Literatur Script on ADAM.
Other references:
M. Ziegler, Mathematische Logik
K. Hrbacek, T. Jech, Introduction to set theory
T. Jech, Set theory
J. Bell, A. Slomson, Models and ultraproducts
H. Ebbinghaus, J. Flum, W. Thomas, Mathematical logic
W. Hodges, A shorter model theory
Bemerkungen Office hours: Tuesday 14:00-16:00

 

Teilnahmebedingungen Analysis I and II. Lineare Algebra I and II.
Unterrichtssprache Englisch
Einsatz digitaler Medien kein spezifischer Einsatz
HörerInnen willkommen

 

Intervall wöchentlich
Datum 17.09.2018 – 17.12.2018
Zeit Montag, 14.15-16.00 Kollegienhaus, Hörsaal 117
Datum Zeit Raum
Montag 17.09.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 24.09.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 01.10.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 08.10.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 15.10.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 22.10.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 29.10.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 05.11.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 12.11.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 19.11.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 26.11.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 03.12.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 10.12.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Montag 17.12.2018 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Module Modul: Algebra und Zahlentheorie (Bachelorstudium: Mathematik)
Leistungsüberprüfung Examen
Hinweise zur Leistungsüberprüfung Oral exam between 23.1.2019 and 1.2.2019.
The students will be asked to solve (variations of) exercises from the exercise sheets and the material covered during the lectures.
An-/Abmeldung zur Leistungsüberprüfung Anmelden: via MOnA; Abmelden: Studiendekanat (schriftlich)
Wiederholungsprüfung eine Wiederholung, bester Versuch zählt
Skala 1-6 0,5
Wiederholtes Belegen nicht wiederholbar
Zuständige Fakultät Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch
Anbietende Organisationseinheit Fachbereich Mathematik

Zurück