These are the resources for my lecture on theoretical computer science I. The main topic of this lecture is logic. The algorithms discussed are implemented in Python via Jupyter notebooks.
Hier finden Sie die Unterlagen zu meiner einführenden Informatik-Vorlesung, die sich im wesentlichen mit der Mengenlehre, der Logik und der Sprache SetlX beschäftigt.
These are the resources for my lecture on theoretical computer science I. The main topic of this lecture is logic. The algorithms discussed are implemented in Python via Jupyter notebooks.
Hier finden Sie die Unterlagen zu meiner einführenden Informatik-Vorlesung, die sich im wesentlichen mit der Mengenlehre, der Logik und der Sprache SetlX beschäftigt.
MIT License