Proof Techniques: ExamplesCovers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.
Conditional ExpectationCovers conditional expectation, Fubini's theorem, and their applications in probability theory.
Counting labeled treesExplores counting labeled trees using Prüfer codes and algorithms, providing maps between trees and sequences.
Reasoning about listsCovers laws of list concatenation, proof by induction, referential transparency, and structural induction.
Linear Recurrence RelationsExplores linear recurrence relations, including examples like the Fibonacci numbers and the proof of related theorems.
