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?