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.