Zurück zur Auswahl
52345-01 - Hauptvorlesung: Einführung in die Logik (6 KP)
| Semester | Herbstsemester 2018 |
| Weitere Semesterveranstaltungen zu diesen KP |
52345-02 (Übung) 52345-03 (Übung) 52345-01 (Hauptvorlesung) |
| 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 |
| Teilnahmevoraussetzungen | 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) |
| Prüfung | Examen |
| Hinweise zur Prü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 Prüfung | Anm.: in 'Belegungen'; Abm.: bei Studiendek. schriftlich |
| Wiederholungsprüfung | eine Wiederholung, bester Versuch zählt |
| Skala | 1-6 0,5 |
| Belegen bei Nichtbestehen | nicht wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Mathematik |