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 6, 2021, to Friday, Sept 17, 2021

Lecture

10-12 am

Excercise groups 

2h in the afternoon

You will receive further information after registering for the course

    02.

    Instructor

    Dr. Hassan Errami

    03.

    Information

    Jip Veldman

    vorkurse.mnf@uni-bonn.de


    Registration

    Registration for this course starts on August 1. 

    Questions and answers

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

    Wird geladen