Poprawność algorytmów raz jeszcze-opracowanie

Poprawność algorytmów raz jeszcze Poprawno´s´c algorytmu polega na zgodno´sci jego działania i wyników z intencjami twórców, u˙zytkowników. W sensie formalnym oznacza to, ˙ze dla ustalonych warunków pocza˛tkowych, spełnianych przez dane wejs´ciowe, działanie algorytmu zawsze kon´czy sie˛ (tzw. własnos´c´ STOPu ), a dane wynikowe spełniaja˛ okre´slone warunki ko´ncowe. ... zobacz całą notatkę