В настоящее время умение программировать востребовано в современном информационном обществе. Очевидно, что специалист по информационным технологиям должен понимать и хорошо разбираться в том, какие задачи и как решаются с применением вычислительной техники, какими свойствами обладают программы. В основе квалификации специалиста в области информатики является знание того, как представить данные задачи и какими алгоритмами их обработать. Умение программировать часто заключается в корректном применении известных структур данных и алгоритмов, их адаптации в соответствии с требованиями практической задачи и среды разработки.

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

Учебное пособие предназначено для студентов специальностей, связанных с управлением в технических системах, системным анализом и управлением, информационными системами отраслевого назначения, информационной безопасности, программным обеспечением вычислительной техники, вычислительными комплексами и сетями, системами автоматизированного проектирования.