karlstroetmann / Logic

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.
MIT License
31 stars 30 forks source link

Update limits.tex #36

Closed coSK123 closed 1 year ago

coSK123 commented 1 year ago

Line 348 propably "Turing machine" instead of "Turing maschine"

karlstroetmann commented 1 year ago

Vielen Dank!