VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.
Deduktive Systeme der Logik
Last Updated: 2026-02-05 14:55:12
Objective
Application of formal methods in computer science.
Content
Deductive systems of logic play an important role in program verification, software specification and in hardware design. This course provides a survey on various deductive systems and calculi and their applications in computer science. The lectures comprise the following topics: Part I. Logic Calculi: soundness, completeness, complexity, natural deduction, Hilbert calculi, sequence calculi, tableaux calculi, resolution. Part II. Temporal Logic: temporal operators, axiomatization, completeness, expressive power. Part III. Logic of programs: Hoare Logic, dynamic logic
General Information
- Language
- German
- Frequency
- Yearly recurring
Examination
- Type
- session examination
- Mode
- oral 30 minutes
Course Components
| Type | Title | Time & Place | Hours |
|---|---|---|---|
| lecture |
Deduktive Systeme der Logik
Does not take place this semester.
|
No time listed | 2 h weekly |
| exercise |
Deduktive Systeme der Logik
Does not take place this semester.
|
No time listed | 1 h weekly |