karlstroetmann/Logic

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.

语言：Jupyter Notebook · GitHub 星标：55 · Fork：40

话题：logic · python · z3-prover

在 GitHub 上查看原仓库