Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.
Vielen Dank. Dateien wie aufgabe.fdb_latexmk gehören eigentlich nicht ins repository. Sie sollten diese Datei in Ihr .gitignore eintragen, damit sie Ihnen bei dem Befehl "git status" nicht angezeigt wird. Ich werde diese Datei daher anschließend wieder löschen. Man nimmt automatisch erzeugte Dateien üblicherweise nicht in ein Repository mit auf, well das nur unnötig Platz kostet.
Vielen Dank. Dateien wie aufgabe.fdb_latexmk gehören eigentlich nicht ins repository. Sie sollten diese Datei in Ihr .gitignore eintragen, damit sie Ihnen bei dem Befehl "git status" nicht angezeigt wird. Ich werde diese Datei daher anschließend wieder löschen. Man nimmt automatisch erzeugte Dateien üblicherweise nicht in ein Repository mit auf, well das nur unnötig Platz kostet.