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)



Monday, Sept 28, 2020, to Friday, Oct 9, 2020

  • Lecture: 10:00 am - 12:00 pm
  • Tutorials: 01:00 pm - 02:00 pm

Lectures and tutorials are offered online. After registering for this course, you will receive more information on PreCampus in time before the course begins.



Ms. Barbara Schwarzwald
Mr. David Kübel



Jip Feldman


Registration for this course starts on August 1, 2020. 

Questions and answers

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

Wird geladen