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 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.

02.

Instructor

Ms. Barbara Schwarzwald
Mr. David Kübel

03.

Information

Jip Feldman

vorkurse.mnf@uni-bonn.de


Registration

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