FIUS / theo-vorkurs-folien

Latex Folien und Umfrage des Vorkurses Theoretische Informatik an der Uni Stuttgart
GNU General Public License v3.0
3 stars 3 forks source link

Fehler in Beweis bzw Annahme #55

Closed bk-debug closed 2 years ago

bk-debug commented 2 years ago

Für alle n in N gilt das n teilt 5n + 22!

Ist falsch => die 0 wurde nicht beachtet => exclude die 0

bk-debug commented 2 years ago

Gefunden bei: Day 2, Aufgaben für Studis; finde die Beweistechnik ...

ModellbahnFreak commented 2 years ago

Fixed in 7dd904f