Contributions and limits of a specific course on manipulation of formal statements for fresh university students
Résumé
In this paper, we present preliminary results from an ongoing project about an innovative course for first year students in Computer Sciences aiming to improve stu-dents' abilities in manipulation of formal statements and writing proofs. The data analysed show that although the course seems to improve syntactic abilities, the semantic control of formal statements remains problematic for most students.
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...