Logique d'apprentissage progressive en algèbre élémentaire, avancée et abstraite