Home
Material
Light
Dark
Automatic
proofs
Direct Proofs
Why do we prove things? In mathematics everything needs to be rigorously proven in order for it to be truly accepted and believed as rule. This runs counter to a lot of other fields in which something is to be believed true if there is sufficient evidence supporting it.
Last updated on Sep 4, 2023
Proof by Contradiction
Contradiction with Style Wait, How the Fuck did we get Here? Last section we showed that the most obvious way to prove things is to start with something that we know is true, and then take a bunch of true steps from there to get to our eventual claim that we were trying to show.
Last updated on Sep 4, 2023
Quantifiers and Notation
Simple Notation Before we get into the discussion of quantifiers, lets take a little breather to show some math notation and say what it means. The crazy thing is that mathematicians are lazy af and will take the opportunity to write things in shorthand.
Last updated on Dec 12, 2023
When Am I Ever Going to Use This?
Proofs Seem so Hard, How do I get Better at Writing Them? Before we get in to the practical application of logic and proofs to your (a CS student’s) career, we will first make a detour to answer a question that I often get when talking about proofs to students who are unfamiliar with them.
Last updated on Dec 12, 2023
Proof by Induction
This page will use a small amount of information from the chapter on Set Theory. It is not required, but understanding sets might be helpful to get how induction works.
Last updated on Jul 4, 2023