Do 15. Januar 2026 11:00 - 14:00 Uhr | Aufgrund von Wartungsarbeiten an den ILIAS-Servern (Update der Datenbank) wird Ihnen ILIAS während des Zeitraums nicht zur Verfügung stehen. Kontakt: ilias@unibe.ch
Di 20. Januar 2026 08:00 - 12:00 Uhr | Aufgrund von Wartungsarbeiten an den Opencast-Servern werden Ihnen Podcasts, Opencast-Videos und Tobira nicht zur Verfügung stehen. Kontakt: www.podcast.unibe.ch
Self-Study Module "Focus on Reasoning and Proofs"
1 Navigation Instructions
2 Motivation and Content
3 Self-Evaluation Test
4 Logical Background
5 Basic Proof Techniques
5 Basic Proof Techniques (1/3)
5 Basic Proof Techniques (2/3)
5 Basic Proof Techniques (3/3)
5.1 Direct Proof
5.2 Proof by Induction
5.3 Proof by Contraposition
5.4 Proof by Contradiction / Proof by Contraction / "Reductio ad absurdum"
5.5 Proof by Cases / Proof by Exhaustion
5.6 The Pigeonhole Principle
5.7 Proof by Counterexample
5.8 Postevaluation Test
6 Recommended Exercises
7 Final Evaluation of the Module
8 CC Licence
Upon opening the module, click on ‘Tools’ to reveal the entire module content on the left side of your screen. Clicking it again will hide the content.
You can navigate between pages or sections using the content menu.
Alternatively, you can access the previous and next pages by clicking the corresponding navigation bars located at the top and bottom of each page.
