The first topic is "Predicates, Sets, and Proofs."

I use predicates and sets quite often in daily programming.