是的matlab代码演讲幻灯片理论计算机科学与逻辑
（此存储库包含a的LaTeX源。）
该存储库包含2017年夏季学期展示的演讲幻灯片的LaTeX来源。
该讲座深入介绍了理论计算机科学，从可计算性和复杂性理论的基础知识，谓词逻辑及其与复杂性和数据库的关系开始，再到高级主题，例如Gödel的不完全性定理以及逻辑与形式语言之间的关系。
我们突破了计算机科学和数学的界限，遇到了勤奋工作的海狸和疯狂的逻辑学家，将SQL与Tic
Tac
Toe进行了比较，并提出了我们领域中的重大问题。
该讲座在很大程度上是不言自明的，但是该课程的基础知识可能会有所帮助。
创建PDF
可以使用pdflatex将源pdflatex为PDF。
该脚本还会创建一个打印版本，每页包含四个幻灯片（需要pdfnup
）。
可以在以下网站在线找到2017年夏季完成的PDF。
教学许可和使用
除非另有说明，否则所有文本均经许可使用，传递和修改。
必须包含以下信息作为名称：
（C）MarkusKrötzsch，CC
BY
3.0
DE
图像权限可能有所不同，并且在LaTeX文件中分别指定。
幻灯片集不包含从VG麦芽代表其开发权利的
评论0