theoretical-computer-science topic
List
theoretical-computer-science repositories
awesome-theoretical-computer-science
611
Stars
36
Forks
Watchers
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
awesome-deep-rl
1.4k
Stars
217
Forks
Watchers
For deep RL and the future of AI.
theolog-ss2017
18
Stars
1
Forks
Watchers
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
FormaleSysteme
42
Stars
14
Forks
Watchers
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
TheoLog
22
Stars
21
Forks
Watchers
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden