Abstract FR:

Cette these presente la conception d'un precepteur intelligent pour l'enseignement de la programmation logique. Une partie theorique traite des problemes de fondements de l'e. I. A. O. De la programmation: le statut epistemique des connaissances enseignees et leur compilation durant le tutoriel. Elle aborde la definition et la representation des connaissances becessaires a la programmation, en liaison avec les recherches sur la semantique formelle des programmes. Une seconde partie decrit une architecture de precepteur nouvelle, sans modelisation cognitivie de l'apprenant. L'originalite principale du prototype presente, realise en prolog sous smalltalk, est d'integrer les outils d'un environnement de programmation dans les exercices, et de contenir une representaition d'intentions didactiques