Mi 29. Juli 2026 06:00 - 21:00 Uhr | Aufgrund von Wartungsarbeiten an den ILIAS-Servern (Update auf ILIAS Version 10) wird Ihnen ILIAS während des Zeitraums nicht zur Verfügung stehen. Kontakt: ilias@unibe.ch
Mi 19. August 2026 08:00 - 16: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
Ab dem 20.07. ist eine Multifaktor-Authentifizierung (MFA) für das ILIAS Login verpflichtend. Ohne eingerichtete MFA können Sie sich ab diesem Datum nicht mehr auf ILIAS einloggen. Aktivieren Sie jetzt MFA für Ihre SWITCH edu-ID und registrieren Sie Ihre Authenticator App.
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.
