GitPlanet
All Categories → No Category → theoretical-computer-science

Top 3 theoretical-computer-science open source projects

TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
✭ 20
TeXshellgermanfirst-order-logicteachingcomplexityturing-machinetheoretical-computer-scienceteaching-materials
FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
✭ 31
TeXshellautomatagermanregular-expressionteachingcomplexityturing-machinetheoretical-computer-sciencepropositional-logicformal-languagesteaching-materials
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
✭ 18
TeXMakefileuniversitygermanlogictheoretical-computer-sciencelecture-notes
1-3 of 3 theoretical-computer-science projects