List of examples and applications - Spring 2026
This list contains all examples for concepts and applications of theorems which you can be asked for in Part 1 of the exam. The specific sets and numbers in the questions are just examples; these can vary in the actual questions.
Logic
Possible examples:
- Consider the following predicates: : ” is a mouse” and : ” likes cheese”. Express the following statements using a formula:
- “Every mouse likes cheese.”
- “Some mice like cheese.” (Please use the correct syntax of formulas.)
Sets
Possible examples:
- Give an example for a subset of .
- Find the union / intersection / difference / symmetric difference / Cartesian product of the sets and .
- Let be the universal set. Find the complement of .
- Write down the power set of .
- How many subsets does the set have?
Relations
Possible examples:
- Give an example for a partition of the set .
- Consider the sets and . Give an example for a binary relation from to .
- Consider the binary relation . Find:
- the domain of ,
- the range of ,
- the inverse of .
- Consider the binary relation and set . Find:
- the restriction of to ,
- the image of under ,
- the inverse image of under .
- Consider the binary relation . Give an example for a binary relation that is:
- an extension of ,
- a restriction of .
- Let . Give an example for a binary relation on that is:
- reflexive,
- irreflexive,
- symmetric,
- antisymmetric,
- strictly antisymmetric,
- transitive.
- Give an example for an equivalence relation on a (finite or infinite) set . Please specify both the equivalence relation and the set .
- Give an example for a partial order on a (finite or infinite) set . Please specify both the partial order and the set .
- Consider the sets and . Give an example for a function from to .
- Consider the sets and . Give an example for:
- an injective function from to ,
- a surjective function from to ,
- a bijective function from to .
- Consider the binary relations and . Find .
Complex numbers
Possible examples:
- Let and . Find and in algebraic form.
- Let . Find and .
- Let and . Find and in polar form.
- Let . Write down and the roots of in polar form.
Combinatorics
Possible examples:
- Write down the first four rows of Pascal’s triangle.
- How many:
- permutations without repetition,
- 4‑variations without repetition,
- 4‑variations with repetition,
- 4‑combinations without repetition,
- 4‑combinations with repetition does the set have? (You can leave factorials in your answer, you do not need to work it out as a single number.)
- How many permutations with repetition, with repetition numbers , do the elements have? (You can leave factorials in your answer, you do not need to work it out as a single number.)
- Write down the binomial expansion of .
- Write down the Inclusion‑exclusion principle for four sets.
Graphs
Possible examples:
- The degrees of the vertices of a 5‑vertex undirected graph are the following: . How many edges does have?