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