knowsys/TheoLog

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

语言：TeX · GitHub 星标：28 · Fork：27

话题：complexity · first-order-logic · german · teaching · teaching-materials · theoretical-computer-science · turing-machine

在 GitHub 上查看原仓库