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

Современное общество является информационным, в нем все большее число людей занято получением, переработкой и использованием информации с применением компьютерных технологий. Компьютеры используются практически во всех областях человеческой деятельности: в профессиональной, учебной, досуговой сферах. Дальнейшее развитие информационного общества требует разработки большого количества качественных программных продуктов, обеспечивающих удовлетворение растущих потребностей людей.