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.
forked from karlstroetmann/Logic
-
Notifications
You must be signed in to change notification settings - Fork 0
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
rahilchughtai/Logic
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
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.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Jupyter Notebook 49.5%
- TeX 44.5%
- Python 4.2%
- Java 1.6%
- CSS 0.2%