1) Propositions
* provide definitions of all concepts and logic operators and their notation and interpretation
* provide and be able of applying the basic logic laws (double negation, commutativity, associativity, distributivity, de Morgan, etc.)
* use truth table to check whether the following proposition is a tautology
* solve the following logic equation

2) Sets
* provide definitions of all concepts and operations and their notation and interpretation
* using the set notation write the following set described with natural language
* translate to natural language the following notation concerning some set

compute the following:
* union/ intersection/ complement
* difference/ symmetric difference
* cartesian product
* power set

3) Predicates
* definition, notation and interpretation of all introduced symbols, concepts and operators
* provide and be able of applying the basic laws for predicates (e.g. de Morgan for quantifiers (negating the quantifiers))
* translate natural language to predicate using given restricted set of symbols
* translate predicate to natural language

4) Relations
* provide definitions, notation and interpretation of all introduced condepts and operators
* compute intersection/union/ composition/ inverse
* check whether the given relation is an equivalence relation, if yes, compute quotient and describe the equivalence classes

5) Proofs
* list the most important rules of inference
 * list types of proofs with small examples

6) Functions and Powers of sets
* provide definitions of all introduced concepts, their notation and interpretation
* check whether it is a function
* compute image, inverse image, composition, inverse of a function
* check whether it is a injection/surjection/bijection
* is the given set countable?