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.
Target groups
- 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
TBA
Registration
Registration for this course starts on August 1.
Questions and answers
Do you have questions? We already have many answers for you!