Résumé
In this paper, we present preliminary results from an on-going project about an innovative course for first year students in Computer Sciences aiming to improve students' 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.