GitHub repository: karlstroetmann/Logik
Primary language: Jupyter Notebook
Description: 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.