All of MATHEMATICAL PROOFS explained in 11 Minutes

💙 Patreon:   / graphicode  
Discord:   / discord  

Mathematical proofs are scary. But it doesn't have to be! Let's learn (pretty much) all of Mathematical Proofs in about 11 minutes to pass that Discrete Maths course every struggling Computer Science student dreads. I hope this video would serve as a nice recap if you have dealt with proofs, or a nice introduction if you are new :)

It's impossible to cover all of mathematical proofs, but these are the topics I felt were important when I was a student myself. Enjoy!

Trying a totally new video style/pace to experiment - let me know your thoughts in the comments below, good or bad!

BWT Compression Algorithm:    • The most versatile compression technique? ...  
Year 2038 Problem:    • Year 2038 - The End Of Unix Time?  
But how do GPUs actually work?:    • The hidden beauty of the device that creat...  
The Dining Philosopher Problem:    • How 5 Hungry Philosophers Solved Computer ...  

—
Timestamps

0:00 - Intro
0:28 - Statements
0:40 - Negation, Conjunction, Disjunction
0:51 - Truth Tables
1:10 - Implications and Bi-implication
1:53 - Proofs Intro
2:15 - Proof for Conjunctions
2:44 - Proof for Disjunctions
2:56 - Proof for Implications
3:14 - Contrapositive, Inverse, Converse
3:37 - P(x)
3:50 - Universal and Existential Quantifiers
4:12 - Proof for Universal Quantifier
4:25 - Proof for Existential Quantifier
4:40 - Types of Numbers, Integers
4:54 - Natural, Rational, Real, Complex Numbers
5:24 - Proof by Induction
6:56 - Modular Arithmetic Intro
7:08 - Divisibility
7:23 - Modulo
8:05 - Theorems with Funny Names
8:22 - Greatest Common Divisor (GCD)
8:42 - Sets
8:56 - Set Builder Notation and Notations
9:25 - Unions and Intersections
9:39 - Binary Relations
10:00 - Cartesian Product
10:18 - Functions
10:40 - Many-to-1, Many-to-Many, Total and Partial F(X)s
10:50 - Injective, Surjective, Bijective
11:09 - Summary
--
Inspired by    / @wacky.science  

Info about 3D models, music and more here:
https://graphicode.simple.ink/

Music

Cold Funk - Funkorama by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/...
Source: http://incompetech.com/music/royalty-...
Artist: http://incompetech.com/

We Shop Song - ‪@ludandschlattsmusicalempor6746‬

Animated by ‪@maydelisar‬do check out her channel!

#computerscience #maths #proof