Подробное описание документа

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