Theoretische Beweisverfahren für die Algorithmusanalyse