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 Wochentag Zeit Raum

Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.

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 Anm.: in 'Belegungen'; Abm.: bei Studiendek. 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