© colourbox

Preliminary Course "Formal Methods of Computer Science"

Course description

In this preliminary course, incoming computer science students get an introduction to important formal and mathematical foundations. 

Contents include:

  • mathematical language,
  • propositional logic, predicate logic,
  • number domains and data types.
  • proof techniques (direct, indirect proof; circular inference, complete induction),
  • functions and relations,
  • basic algebraic structures,
  • exponential functions and logarithms.
  • Cyber Security (B.Sc.)
  • Computer Science (B.Sc.)
  • Computer Science (Teaching Degree)

01.

Dates

Monday, Sept 8, 2025, to Friday, Sept 19, 2025

Lecture

9-11 am

Excercise groups 

2h in the afternoon

You will receive further information after registering for the course

    02.

    Instructors

    Mona Lauter and Michael Kaibel

    03.

    Information

    TBA

    email

    Registration

    Registration for this course starts on August 1. 

    Questions and answers

    Do you have questions? We already have many answers for you!