⚡ Quick Access
Course Overview
Goals · Schedule · Tools
Assignment 1
Logic & Equivalences
Latest Full Course
Start with Propositional v2
📚 Sessions
Session 1 · Weeks 1–4
Foundations of Logic
Propositions · Equivalences · Quantifiers · Inference
Session 2 · Weeks 5–7
Discrete Structures
Sets · Operations · Relations & Functions · Sequences & Series
Session 3 · Weeks 8–10
Proofs and Recursions
Proof Techniques · Induction · Recursion
Session 4 · Weeks 11–12
Counting
Permutations · Combinations · Binomial Identities
Session 5 · Weeks 13–16
Graphs, Trees & Binary Trees
Vertices · Edges · BFS/DFS · Dijkstra · MST · Trees · BST · Heap
🧠 Session 1 · Foundations of Logic — 5 lessons
🔢 Session 2 · Discrete Structures — 4 lessons
📐 Session 3 · Proofs and Recursions — combined full course
Lessons 2 + 3
Induction & Recursive Definitions — Combined
🔢 Session 4 · Counting — 2 lessons
🌳 Session 5 · Graphs, Trees & Binary Trees — courses (full · applied · walkthrough · visual · interactive) + 3 Python labs
Course · Part I
Graphs