Relations and Functions Types of relations ... Consistency, inconsistency and number of solutions of systems of linear equations by examples, solving systems of linear equations in two or three ...

Example topics include logic and Boolean circuits; sets, functions, relations, databases, and finite automata; deterministic algorithms and randomized algorithms; analysis techniques based on counting ...