Sets, Logic and Maths for Computing

Part I: Sets

Collecting Things Together: Sets

Comparing Things: Relations

Associating One Item with Another: Functions

Recycling Outputs as Inputs: Induction and Recursion

Part II: Math

Counting Things: Combinatorics

Weighing the Odds: Probability

Squirrel Math: Trees

Part III: Logic

Yea and Nay: Propositional Logic

Something about Everything: Quantificational Logic

Just Supposing: Proof and Consequence

Sticking to the Point: Relevance in Logic