These are the resources for my lecture on theoretical computer science I. The main topic of this lecture is logic and an introduction to the programming language SetlX.
lsailer / logic Goto Github PK
View Code? Open in Web Editor NEWThis project forked from karlstroetmann/logic
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.
License: MIT License