Skip to content

Appearance

Sidebar Navigation

Math Toolbox

Introduction to the Course

Logic

Proposition

Quantifiers

Basic proof techniques

Direct proof

Contraposition

Contradiction

Case analysis

Proof by induction

Finding the right hypothesis

Strong induction

Proving things about algorithms

Recursive binary search

Iterative binary search

Loop invariants

Graphs and Algorithms

Introduction

Graph classes and isomorphisms

Graph classes

Isomorphisms

Some structured graphs

Trees

Planar graphs

Directed graphs

Eulerian digraphs

Tournaments

Numbers and Algorithms

On this page

Proving things about algorithms

📄️ Recursive binary searchSingle Page

📄️ Iterative binary searchSingle Page

📄️ Loop invariantsSingle Page

Pager

Previous pageStrong induction

Next pageRecursive binary search

Toolbox by Hilmy Abiyyu Asad from the Noun Project. © 2026 Me. Built with VitePress.