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