Topics covered by the course include: sets, mappings, relations; combinatorics; boolean algebra; discrete circuits, automata.