Vorlesung: Mathematische Logik SoSe 2021

Beschreibung: Vierstündige Vorlesung mit zweistündigen Übungen als virtuelle Lehrveranstaltung
Zugang Wenn Sie die Vorlesung hören möchten, müssen Sie die Vorlesung in HISinOne belegen und auch in ILIAS dem Kurs beitreten.
Zeit: Die Videos zeichne ich auf. Sie bleiben etwa ein Jahr auf der Kursseite. Kontakt in Frau Mildenbergers virtuellem Sprechstundenraum auf Absprache per E-Mail. Man tritt auf der verlinkten Seite in der Tabelle weit unten vMildenberger bei.
Ort: Auf ILIAS unter dem Pfad Magazin-- Lehrveranstaltungen aus HISinOne --Sommersemester 2021 -- Mathematisches Institut-VB -- Mathematische Logik SoSe 2021
Dozentin: Heike Mildenberger
Sprechstunde Dozentin: Fragestunde zur Vorlesung im Ilias-Kurs im dortigen BigBlueButton-Raum, Do 11:15 (neuer Beginn, ab dem 24.6.)
Assistenz: Maxwell Levine
Sprechstunde Assistent: n. V.
Übungen: Hannes Jakob
Zeit/Ort: Do 16ct - 18 im Ilias-Kurs im dortigen BigBlueButton virtuellen Klassenzimmer, ab zweiter Woche.

Studienleistung

  • Mindestens 50% der erreichbaren Punkte in den schriftlich zu bearbeitenden Übungsaufgaben.
  • Bestehen der schriftlichen Prüfung (Master, M.Ed., 2HB-B).

Prüfungsleistung

  • Für den Bachelor of Science-Studiengang: Schriftliche Prüfung am 22. Juli 2021, 10:30 Uhr bis 12:30 Uhr
  • Für Master-Studiengang: Modulprüfung.

Bitte beachten Sie die weiteren Hinweise zu Studien- und Prüfungsleistungen im Modulhandbuch zu Ihrem Studiengang.

Klausur am 22.7.2021, 10:30 - 12:30

Ort: Im großen Hörsaal Biologie in der Schänzlestr. 1 Zu den Lageplänen. Dort klickt man Biologie, und es ist Nummer 1.
Hilfsmittel bei der Klausur und bei der Nachklausur
  • Erlaubte Hilfsmittel: ein selbst von Hand beidseitig beschriebenes Din A4-Blatt mit Beschriftung Ihrer Wahl. Empfehlung: Schreiben Sie darauf die Definitionen und Sätze aus dem Skript, die Sie als Gedächtnisstütze nützlich empfinden. Auch Beweistricks aus der Vorlesung und den Übungen könnten nützlich sein.
Klausureinsicht am 26.7.2021 um 11:00 Uhr im SR 404. Bitte hinterlegen Sie in HISinOne vor der Klausur Ihre Kontaktdaten, die die Corona-Verordnung für jede Präsenzveranstaltung an der Uni erfordert.

Beschreibung

Der Kommentar aus dem kommentierten Vorlesungsverzeichnis des Sommersemesters 2021.

Literatur

Die empfohlene Literatur findet man im Kommentar.

Skript

Eigenes Skript in der Version vom 26.07.2021. Die Sektion 1.5 über den Satz von Ehrenfeucht und Fraïssé habe ich am 21.4.2021 neu hinzugefügt und am 18.5.2021 korrigiert. Wenn Sie Fehler finden, teilen Sie mir dies bitte mit.

Übungsblätter

Die Übungsblätter werden wöchentlich auf dieser Seite veröffentlicht. Die Abgabe soll jeweils bis zum darauffolgenden Dienstag um 12 Uhr durch Hochladen auf Ilias erfolgen. Jede(r) Teilnehmer(in) soll eigene Lösungen abgeben, die gemeinsame Abgabe ist nicht gestattet.

Die Tabelle wird nach und nach aufgefüllt.
Blatt Ausgabe Abgabe (vor 12 Uhr mittags)
Blatt 1 20.04.2021 27.04.2021
Blatt 2 21.04.2021 04.05.2021
Blatt 3 04.05.2021 11.05.2021
Blatt 4 11.05.2021 18.05.2021
Blatt 5 18.05.2021 01.06.2021, ohne Aufgabe 2
Blatt 6 01.06.2021 08.06.2021
Blatt 7 08.06.2021 15.06.2021
Blatt 8 17.06.2021 22.06.2021
Blatt 9 24.06.2021 29.06.2021
Blatt 10 29.06.2021 06.07.2021
Blatt 11 (letztes Blatt) 06.07.2021 13.07.2021

Anmeldung/Organisatorisches

In HISinOne

Version der Seite vom 23.07.2021, HM