Comprehensive Overview of Mathematical Proofs in 11 Minutes

💙 Patreon: https://patreon.com/Graphicode
Discord: https://discord.gg/GJ9kYsRBEt

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: https://youtu.be/hyfAHUvbU1A
Year 2038 Problem: https://youtu.be/BIaCmpVCm24
But how do GPUs actually work?: https://youtu.be/58jtf24uijw
The Dining Philosopher Problem: https://youtu.be/wyjHTiizCJA

—
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 https://www.youtube.com/@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/by/4.0/
Source: http://incompetech.com/music/royalty-free/index.html?isrc=USUAN1100499
Artist: http://incompetech.com/

We Shop Song - @ludandschlattsmusicalempor6746

Animated by @maydelisar - do check out her channel!

#computerscience #maths #proof