Hier findet Ihr die Tafelanschriebe für die Vorlesung „Logik“. Wer Fehler findet oder Verbesserungsvorschläge hat, legt bitte ein neues Issue an oder schreibt uns eine E-Mail.
… findet Ihr im Ordner PDF. Wenn Ihr die Quellen selbst kompilieren möchtet, dann benutzt
make (oder
pdflatex und bibtex).
6.5.20 kleine Korrekturen in T2.16, T3.1, T4.5, T4.7
23.–24.1.20 kleine Korrektur in T4.11, T4.23
15.–16.12.19 kleine Korrektur in T3.15 und im fakultativen Tafelanschrieb (Bew. Lemma 3.22)
25.11.19 Für Bild in T2.10 „echtes“ Querformat verwendet; keine inhaltliche Änderung
26.10.19 Beweis Resolutionssatz umorganisiert und auf T1.15–T1.16 verteilt; folgende T1.17–T1.22 und darin enthaltene Verweise entsprechend umnummeriert. Betroffene Seiten: 12–19
20.10.19 kleinere Aktualisierung der Literaturangaben und Notation in T1.11
2.10.19 Aktualisierung auf WiSe 2019/20