математик, в честь нее назван язык Ада