Loading...
Please wait, while we are loading the content...
Similar Documents
Computer Assisted Tea hing in Mathemati s
| Content Provider | Semantic Scholar |
|---|---|
| Author | Alli, Cristina |
| Copyright Year | 2019 |
| Abstract | The master of mathemati s (third and fourth year at the university) of the university of Savoie (Chambery) has optional ourses in logi [3℄. Some years ago, these ourses were an introdu tion to the bases of mathemati al logi , but due to the diÆ ulties of the students with reasoning, the goal of the third year ourse hanged gradually to be ome a training in mathemati al reasoning. The introdu tion of PhoX [13℄, the proof assistant of C. Ra alli, allowed to do tutorial sessions (TS) with omputers. With the ma hine, students annot give in orre t proofs. Errors are repla ed by situations where they get stu k and the tea her an help them to progress. Our experien e shows that the bene t for the student is greater than to show him the erroneous senten es of its reasoning be ause he does not always understand the explanations of the tea her. After four years of experien e, this tool seems very useful to us. It shows learly that, up to the third year (and may be even the fourth) at the university, the main diÆ ulties of the students do not ome from the mathemati al on epts they dis over but rather from their very strong in omprehension of the nature of mathemati al reasoning. Before using PhoX, we give a small ourse of formal logi to the third year students. But the di eren e with an informal presentation of mathemati al reasoning is very small and it should be possible to use PhoX even with rst year students: we will try this experiment during the spring 2002 semester. In this paper, we des ribe the main points of our experien e. Se tion 2 qui kly gives the ontext of proofs on ma hine. Our experiment itself is des ribed in se tion 3. We give a detailed example in se tion 4. We on lude by some prospe ts. The appendix 1 gives the main ommands of PhoX whi h is helpful to have a deeper understanding of the example. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://raffalli.eu/pdfs/arao-en.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
