Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/20281
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Ferreira, João Fernando | - |
dc.contributor.author | Mendes, Alexandra | - |
dc.contributor.author | Backhouse, Roland | - |
dc.contributor.author | Barbosa, L. S. | - |
dc.date.accessioned | 2012-09-19T15:48:09Z | - |
dc.date.available | 2012-09-19T15:48:09Z | - |
dc.date.issued | 2009 | - |
dc.identifier.isbn | 978-3-642-04911-8 | - |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/20281 | - |
dc.description.abstract | MathIS is a new project that aims to reinvigorate secondary- school mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discovery by the students. These ideas are discussed and the case is made, through a number of examples that show the teaching style that we want to introduce, for their relevance in shaping mathematics training for the years to come. In our opinion, the education of software engineers that work effectively with formal methods and mathematical abstractions should start before university and would benefit from the ideas discussed here. | por |
dc.description.sponsorship | Long-term collaboration with J. N. Oliveira on calculational approaches to mathematics is deeply acknowledged. We are also grateful to the anonymous referees for their valuable comments. This research was supported by FCT (the Portuguese Foundation for Science and Technology), in the context of the MATHIS Project under contract PTDC/EIA/73252/2006. The work of Joao F. Ferreira and AlexandraMendeswas further supported by FCT grants SFRH/BD/24269/2005 and SFRH/BD/29553/2006, respectively. | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.subject | Computer Science education | por |
dc.subject | Problem solving | por |
dc.title | Which mathematics for the Information Society? | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 39 | por |
oaire.citationEndPage | 56 | por |
oaire.citationTitle | Proceeding TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods | por |
oaire.citationVolume | 5961 | por |
dc.identifier.doi | 10.1007/978-3-642-04912-5_4 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | Proceeding TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods | por |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
TFM-FMBB2009.pdf | preprint | 217,23 kB | Adobe PDF | Ver/Abrir |