ADTutorium: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
(Die Seite wurde neu angelegt: „Hier können bis Samstag, 18. Januar 2014, Fragen zum Modul "Algorithmen & Datenstrukturen" gesammelt werden. Wir werden diese Fragen dann im Tutorium am Diens…“) |
(→Fragen) |
||
| Zeile 2: | Zeile 2: | ||
== Fragen == | == Fragen == | ||
1. Wie geht man an einen formalen Beweis eines Algorithmus ran? | |||
Version vom 14. Januar 2014, 19:55 Uhr
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?