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, an einer Stelle haben Sie sich vertan, denn da haben Sie preceed durch proceed ersetzt. De facto ist beides falsch, ich meinte precede an Stelle von preceed.
Vielen Dank, an einer Stelle haben Sie sich vertan, denn da haben Sie preceed durch proceed ersetzt. De facto ist beides falsch, ich meinte precede an Stelle von preceed.