https://github.com/bitkeks/theolog-ss2017
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
https://github.com/bitkeks/theolog-ss2017
german lecture-notes logic theoretical-computer-science university
Last synced: 3 months ago
JSON representation
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
- Host: GitHub
- URL: https://github.com/bitkeks/theolog-ss2017
- Owner: bitkeks
- Created: 2017-05-02T13:12:28.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2017-07-22T08:35:01.000Z (almost 8 years ago)
- Last Synced: 2023-08-13T04:01:48.041Z (almost 2 years ago)
- Topics: german, lecture-notes, logic, theoretical-computer-science, university
- Language: TeX
- Homepage: https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)
- Size: 5.25 MB
- Stars: 18
- Watchers: 8
- Forks: 1
- Open Issues: 0