Nous nous intéressons au diagnostic des activités d'apprentissage d'apprenants utilisant un environnement informatique. Le travail présenté ici concerne la modélisation des connaissances, des compétences et des erreurs dans l'apprentissage de l'électricité en courant continu au collège et au lycée. Nous avons réalisé cette modélisation à l'aide du modèle S-K-E que nous présentons ici et qui a été implémenté en langage Prolog dans notre environnement. Ce modèle a ensuite été validé par une expérimentation qui a consisté à comparer le diagnostic de l'activité d'une classe d'apprenants, fait par des enseignants, avec le diagnostic automatique effectué par DiagElec notre outil de diagnostic intégrant le modèle S-K-E. Les résultats montrent une bonne qualité du diagnostic automatique, très proche du diagnostic humain.