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
Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.
License
kemme77/Logic
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- TeX 62.5%
- Jupyter Notebook 34.8%
- Python 2.5%
- Other 0.2%