Задача данной книги проста: разобрать «идеи», лежащие в основе программ, и показать, как доказывать их правильность. Книга усеяна задачами. Большинство задач теоретические, но многие требуют реализации алгоритма; для таких задач используется язык программирования Python 3. Несмотря на свою краткость, издание является математически строгим. Желательно предварительное знакомство с дискретной математикой.