Logik & Berechenbarkeit

Dieses Skript versucht die Veranstaltung „Logik & Berechenbarkeit“ zusammenzufassen.

Dabei sollen folgende Inhalte abgedeckt werden:

• alle Definitionen
• alle Sätze und die dazugehörigen Beweise
• möglichst viele Beispiele und Gegenbeispiele
• möglichst viele Übungsaufgaben und Lösungen

Erstellung

Lass einfach oft genug pdflatex zusammenfassung.latex laufen, bis keine Fehler mehr auftauchen.

Einfacher geht’s mit latexmk und noch einfacher geht’s mit dem beigelegten Makefile – einfach make eintippen und schon wird das Skript gebaut.

Mitmachen

Wenn du Verbesserungsvorschläge hast, dann klone das Projekt und sende mir Pull-Requests.

Fragen?

Erst googlen, dann nachdenken, dann fragen.