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.
Jupyter NotebookMIT
Stargazers
- mrdaredevil
- Evgenij777
- AbdalrohmanGitHub
- DanielKrms
- Danghor
- cgommGermany
- elsholzWesel
- leminguyen
- sudocdavid
- LeieryGermany
- adroi3
- rahilchughtai
- Robin2800
- FlippchenMainz/Mannheim
- ArtInLines
- MaxiBoernerGermany
- VN1N3
- ElevenSpinsGermany
- CelMur
- mesoclever
- Mac0501
- adiehl96Nijmegen
- dralex03Stuttgart, Deutschland
- xxchillkroetexxGermany
- mshure
- kilianhuegler
- maxlid3
- Baustellenbert
- KeinName535
- LeJohnny03
- Vermasselt