Formal Systems

Here are copies of my slide deck (powerpoint) and the handouts (reflection and problems).

Here is a Google Drive folder of all of the formal systems sheets that I’ve made and used over the years.

Here’s a blog post I wrote about using formal systems in class. It’s a recap of a previous presentation I did. You might find it a useful resource if you’re trying to explain this idea to someone.

And finally, here’s a three-question survey about my presentation. I’d appreciate your feedback!