Майкл Солтис

Введение в анализ алгоритмов

Майкл Солтис

Задача данной книги проста: разобрать «идеи», лежащие в основе программ, и показать, как доказывать их правильность. Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так...