Proof Index
TOC
Courses
Subreddit
Blog
Search
▾
Bridge course
•
Countable and uncountable sets
▸
Proof techniques
•
Example of a nonconstructive proof
•
Direct proof
•
Disproof by counterexample
•
Proof by cases
•
Proving properties of absolute value
•
Proof by contrapositive
•
Proof by contradiction
•
Challenge
•
Proof by induction
•
Proof by strong induction
•
Proving de Moivre's theorem
•
Visual proof
•
Challenge
▸
Relations
•
Equivalence relations
•
Intersection of equivalence relations
•
Representing relations using matrices
▸
Combining relations
•
Composition of relations
•
Inverse of composite relation
•
Representing relations using digraphs
•
Properties of relations
•
Proving equivalence relations
•
What is a relation?
•
Finding the inverse of a relation on a finite set
▸
Functions (bridge course)
▸
Injective, surjective, and bijective
•
Intro
•
Is it bijective? (infinite domain)
•
Is it injective?
▸
Is it surjective?
•
Proof: Composite of surjections is surjection
•
Proving properties of injective, surjective, and bijective functions
›
Bridge course
Other resources
YouTube videos
3433
The Traveler and the Strange Staircase (Screencast 4.1.1)
GVSUmath
3434
Affine ciphers (Screencast 7.4.4)
GVSUmath
3435
Extended Principle of Mathematical Induction: Example from computational geometry (Screencast 4.2.2)
GVSUmath
3436
Function example: Counting primes (Screencast 6.1.4)
GVSUmath
3437
Equivalence relations (Screencast 7.2.2)
GVSUmath
3440
Functions: Terminology (Screencast 6.1.2)
GVSUmath
3455
The Division Algorithm and Integer Congruence (Screencast 3.5.3)
GVSUmath
3457
Negating quantified statements (Screencast 2.4.2)
GVSUmath
3458
Application to Cryptography (Screencast 3.5.4)
GVSUmath
3461
Conditional statements (Screencast 1.1.3)
GVSUmath
More YouTube videos...
Webpages
128
How To Write Proofs