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…“ |
|||
| Zeile 2: | Zeile 2: | ||
== Fragen == | == Fragen == | ||
1. Wie geht man an einen formalen Beweis eines Algorithmus ran? | |||
Version vom 14. Januar 2014, 18: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?