ADTutorium

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen

Hier können bis Samstag, 18. Januar 2014, Fragen zum Modul "Algorithmen & Datenstrukturen" gesammelt werden. Wir werden diese Fragen dann im Tutorium am Dienstag, 21. Januar 2014, um 16 Uhr bearbeiten.

Fragen

1. Wie geht man an einen formalen Beweis eines Algorithmus ran?