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