search

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

new orthography #1

Closed Danghor closed 10 years ago

Danghor commented 10 years ago

Adjustments according to the new German orthography.

karlstroetmann commented 10 years ago

Vielen Dank!