Official course description: Sets, relations and functions; propositional calculus, Boolean algebras, and combinatorial circuits, counting methods; analysis of algorithms; graphs and trees, puzzles; finite machines, sequential circuits and recognizers