Python
 Defining functions with def, optional arguments and default values
 Recursive functions
 Anonymous functions with lambda
 map and reduce
 Strings and lists in Python

Binary relations
 Reflexive, Symmetric, Antisymmetric, and Transitive properties
 Partial Orders

Isa hierarchies
 Subset vs membership relations
 Inheritance; class properties vs instance properties

Propositional logic
 Well formed formulas
 Proof by perfect induction
 Modus ponens
 Clause form
 Resolution