Hier findet ihr die Tafelanschriebe für die Vorlesung „Beschreibungslogik“. Das Dokument ist in Bearbeitung. Wer Fehler findet oder Verbesserungsvorschläge hat, legt bitte ein neues Issue an oder schreibt uns eine E-Mail.
… findet ihr im Ordner PDF. Wer die Quellen selbst kompilieren möchte, kann
make oder
pdflatex bl_tafelanschriebe aufrufen.
Alle Kapitel (2–7) vollständig.
12./13.8.2020 kleine Korrekturen in T6.5, T6.6
13./14.7.2020 Bilder in T3.4 und T7.17 vervollständigt; Korrektur in T7.16; kleine redaktionelle Korrekturen
10.7.2020 T7.18–T7.19 hinzugefügt
8./9.7.2020 T7.15–T7.17 hinzugefügt
7.7.2020 T7.8–T7.14 hinzugefügt
30.6.2020 T7.1–T7.7 hinzugefügt
24.6.2020 Typos
21.–23.6.2020 T6.1–T6.13 hinzugefügt
14.6.2020 T5.11–T5.15 hinzugefügt
8./9.6.2020 kleine Korrektur in T5.1; T5.8–T5.10 hinzugefügt
2.6.2020 kleine Korrektur in T5.2
28.5.2020 T5.4–T5.7 hinzugefügt
26.5.2020 T5.1–T5.3 hinzugefügt
18.5.2020 kleine Korrektur in T4.11
13.5.2020 T4.12–T4.19 hinzugefügt
11./13.5.2020 kleine Korrekturen in T4.6–T4.8, T4.10–T4.11
30.4.2020 Literaturverzeichnis repariert
29.4.2020 kleine Korrektur in T3.2
27.4.2020 Umordnung von T3.4–T3.8
23.4.2020 Korrektur T2.5–T2.6 und T2.12 hinzugefügt
20.5.2019 T4.8–T4.11
12.5.2019 T4.1–T4.7
7.5.2019 T3.9–T3.13
5.5.2019 T3.3–T3.8 (Bild in T3.8 fehlt noch)
28.4.2019 T2.10–T2.11, T3.1–T3.2
7.–9.4.2019 1. Commit, T2.1–T2.9