Algorithms and correctness: Revision history

View logs for this page

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 19:2719:27, 24 April 2016‎ Weihe talk contribs‎ 10,193 bytes +25‎ →‎Algorithmic problem
curprev 19:2419:24, 24 April 2016‎ Weihe talk contribs‎ 10,168 bytes +12‎ →‎Instructions and subroutines

curprev 08:2008:20, 8 June 2015‎ Weihe talk contribs‎ 7,472 bytes +154‎ →‎Invariant

curprev 10:0910:09, 30 May 2015‎ Weihe talk contribs‎ 7,318 bytes +435‎ →‎Correctness proofs

curprev 11:0111:01, 27 May 2015‎ Weihe talk contribs‎ 3,004 bytes +3,004‎ Created page with "== Algorithmic problem == An algorithmic problem is described by: # a set of feasible '''inputs'''. # for each input a set of feasible '''outputs'''; # optionally, an '''obje..."

Retrieved from "https://wiki.algo.informatik.tu-darmstadt.de/Algorithms_and_correctness"

Navigation menu