Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorwort zum Skript

Vorwort

Dieses Skript gibt die wöchentlich zweistündige Vorlesung Einführung in die mathematische Logik wieder, die ich im Wintersemester 2011/2012 an der Universität Osnabrück gehalten habe. Ich habe diese Veranstaltung zum ersten Mal durchgeführt, bei einem zweiten Durchlauf würden sicher noch viele Korrekturen und Änderungen dazukommen. Dies bitte ich bei einer kritischen Durchsicht wohlwollend zu berücksichtigen.

Der Text wurde auf Wikiversity geschrieben und steht unter der Creative-Commons-Attribution-ShareAlike 3.0. Die Bilder wurden von Commons übernommen und unterliegen den dortigen freien Lizenzen. In einem Anhang werden die einzelnen Bilder mit ihren Autoren und Lizenzen aufgeführt. Die CC-BY-SA 3.0 Lizenz ermöglicht es, dass das Skript in seinen Einzelteilen verwendet, verändert und weiterentwickelt werden darf. Ich bedanke mich bei der Wikimedia-Gemeinschaft und insbesondere bei Benutzer Exxu für die wichtigen Beiträge im Projekt semantische Vorlagen, die eine weitgehend automatische Erstellung des Latexcodes ermöglichen.

Ich bedanke mich bei Herrn Daniel Brinkmann für Korrekturen und bei Frau Marianne Gausmann für die Erstellung der Pdf-Files. Bei Jonathan Steinbuch bedanke ich mich für Verlinkungen und Korrekturen.

Holger Brenner