Foundations of Computing I · 6 ECTS
- Semester
- Frühlingssemester
- Umfang
- 6 ECTS
- Studiengang
- INF
Modulüberblick
Das Modul vermittelt formale Grundlagen zur Beschreibung und Analyse informatischer Probleme.
Was du in diesem Modul lernst
- Logisches und formales Argumentieren
- Diskrete Strukturen und Beweistechniken
- Formale Modelle für informatische Fragestellungen
Lernhinweise
FVOEC-Erfahrungswerte
- Definitionen präzise verwenden und Beweise in vollständigen Schritten formulieren.
- Kurze Aufgaben regelmässig bearbeiten, statt formale Methoden gesammelt nachzuholen.
Massgebend sind immer die aktuellen Lernziele, Unterlagen und Prüfungsinformationen der UZH.
SO22 V2 · HS26
Verbindliche Modulinformationen
Angebot, Sprache, Dozierende und Leistungsnachweis können sich ändern. Prüfe das aktuelle Semester im UZH-Modulkatalog.