These are the resources for my lecture on theoretical computer science I. The main topic of this lecture is logic. The algorithms discussed are implemented in Python via Jupyter notebooks.
forked from karlstroetmann/Logic
-
Notifications
You must be signed in to change notification settings - Fork 0
Karl Stroetmanns Unterlagen zur Vorlesung "Theoretische Informatik I"
License
cstrerath/Logic
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Karl Stroetmanns Unterlagen zur Vorlesung "Theoretische Informatik I"
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- TeX 59.6%
- Jupyter Notebook 37.3%
- TypeScript 2.1%
- Other 1.0%