It strikes me that your choice should reflect her knowledge of math and basic logic. If she has a good grasp of these, then perhaps a "typed" language might be

It strikes me that your choice should reflect her knowledge of math and basic logic. If she has a good grasp of these, then perhaps a "typed" language might be a good idea, otherwise, something like Alice (as suggested below) might be better because it introduces those concepts in a visual way.