Home
Material
Light
Dark
Automatic
cs241
Intro to Logic and Proofs
Wanna get good at fighting with your words?
Last updated on Aug 15, 2023
Set Theory
Putting things into groups? How hard could that be?
Last updated on Aug 15, 2023
Computational Complexity
How slow can you go?
Last updated on Aug 15, 2023
Number Theory
This is 5th grade material, how hard could it be?
Last updated on Aug 22, 2023
Software Engineering
I have to learn all this stuff on the job ðŸ˜
Last updated on Aug 15, 2023
Propositions
I want the truth! Since logic is all about the study of true and false, we need some sort of basic type of object that will represent and store these true and false values.
Last updated on Jan 7, 2024
Logical Operators
Remember, you’re doing math Now that we have propositions which are the basic items of true and false, we will now define operators that we can use to create functions that take in one or more propositions, and output some truth value that represents the result of “combining” our propositions in different ways.
Last updated on Sep 6, 2023
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
»