Все публикации

0:07:31

Bertrand's Box Paradox

0:02:56

Big O Additivity

0:04:12

Big O Transitivity

0:05:17

Big O Definition

0:06:00

Prove That Deleting Node v Destroys All s-t Paths (Remake)

0:02:51

Binary Relation

0:02:44

Formal Definition: Exactly One Pair In A Relation

0:04:45

Formal Proof (Extra Practice 4)

0:02:31

Formal Proof (Extra Practice 3)

0:02:49

Formal Proof (Extra Practice 2)

0:03:07

Formal Proof (Extra Practice 1)

0:12:46

Formal Proof Using Quantifiers

0:02:37

Quantifier Dance party

0:03:38

Universal Quantifier Ordering

0:04:18

Existential Quantifier Ordering

0:05:11

Formal Proof (Proof by Deduction)

0:12:26

Lychrel Numbers (196 Algorithm)

0:04:16

Formal Proof (Proof by Contradiction)

0:06:17

Formal Proof (Case Analysis)

0:08:40

Functions (Injective, Bijective, and Surjective)

0:09:24

Huffman Encoding (Binary Tree Data Structure)

0:02:47

Where Is My Mind? (Waltz)

0:01:23

Pan's Labyrinth Theme (Guitar Cover)