Программирование. Математические основы, средства, теория