Frank Roumen University of Cambridge

Current teaching

I am a supervisor for the courses Computation Theory, Discrete Mathematics, and Logic & Proof. Below you can find the hand-in exercises for these supervisions. Supervision work can be handed in in the supervision work box at the Computer Lab, or by email. It has to be submitted at the latest 24 hours before the start of the supervision, except when the supervision is on a Monday, in which case it has to be submitted 72 hours before the supervision.

My contact information can be found here.

Computation Theory

Hand-in exercises by supervision:

Supervision 1: exercises 1a, 1b, 1c, 2, 3, 4 from the exercise sheet
Supervision 2: Exercises for supervision 2
Supervision 3: Exercises for supervision 3

Discrete Mathematics

Hand-in exercises by supervision:

Supervision 1:
  From the Michaelmas exercise sheet:
    Section 1.1: exercises 3, 4, 5, 6, 8
    Section 1.2: exercises 2, 4, 5, 6, 9
Supervision 2:
  From the Michaelmas exercise sheet:
    Section 2.1: exercises 2, 3
    Section 2.2: exercises 1, 2, 5, 7, 8, 9
    Section 3.1: exercises 2, 4
Supervision 3:
  From the Michaelmas exercise sheet:
    Section 3.2: exercises 4, 7, 10ab, 11
    Section 4.1: exercise 2
    Section 4.2: exercises 1, 2
  From the Lent exercise sheet:
    Section 1.1: exercises 3, 5
Supervision 4:
  From the Lent exercise sheet:
    Section 1.2: exercises 1, 2, 3bc, 5
    Section 2.1: exercise 1
    Section 2.2: exercise 2
    Section 3.1: exercise 2
    Section 3.2: exercises 2, 3
    Section 4.2: exercises 1, 2
Supervision 5:
  From the Lent exercise sheet:
    Section 5.1: exercises 2, 5
    Section 5.2: exercise 1, 3acd
    Section 6.1: exercises 1, 6
    Section 6.2: exercises 1, 3
    Section 9.2: exercises 1, 2
    Section 10: exercise 2
Supervision 6:
  From the formal languages example sheet:
    Section 1: exercises 1, 3
    Section 2: exercises 1, 3
    Section 3: exercises 1, 3
    Section 4: exercises 2, 4, 6, 7

Logic & proof

The exercises can be found in the notes. Hand-in exercises by supervision:

Supervision 1: exercises 1-4 and 6-11
Supervision 2: exercises 13, 15, 17, 18, 19, 23, 26
Supervision 3: exercises 30, 32, 36, 38, 39, 44, 45, 47

Past teaching

Previously I have taught exercise classes and occasionally lectures for the following courses: