An Introduction to Logic for Computer Science

These are the resources for my lecture on theoretical computer science I. The main topic of this lecture is logic. The algorithms discussed are implemented in Python via Jupyter notebooks.