Foundations of Computing I · 6 ECTS
- Semester
- Spring semester
- Workload
- 6 ECTS
- Degree
- INF
Module overview
The module develops formal foundations for describing and analysing problems in informatics.
What you will learn
- Logical and formal reasoning
- Discrete structures and proof techniques
- Formal models for questions in informatics
Study guidance
FVOEC student experience
- Use definitions precisely and write proofs in complete steps.
- Work on short exercises regularly instead of postponing formal practice.
The current UZH learning objectives, material, and exam information are always authoritative.
SO22 V2 · HS26
Authoritative module information
Availability, language, teaching staff, and assessment can change. Check the current semester in the UZH module catalogue.