/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.

Primary LanguageTeXMIT LicenseMIT

Logik

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.