Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15270
Título: | Logic training through algorithmic problem solving |
Autor(es): | Ferreira, João Fernando Mendes, Alexandra Cunha, Alcino Baquero, Carlos Silva, Paulo Barbosa, L. S. Oliveira, José Nuno Fonseca |
Palavras-chave: | Equational logic Calculational method Problem solving Algorithm derivation |
Data: | 2011 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | Although much of mathematics is algorithmic in nature, the skills needed to formulate and solve algorithmic problems do not form an integral part of mathematics education. In particular, logic, which is central to algorithm development, is rarely taught explicitly at preuniversity level, under the justification that it is implicit in mathematics and therefore does not need to be taught as an independent topic. This paper argues in the opposite direction, describing a one-week workshop done at the University of Minho, in Portugal, whose goal was to introduce to high-school students calculational principles and techniques of algorithmic problem solving supported by calculational logic. The workshop resorted to recreational problems to convey the principles and to software tools, the Alloy Analyzer and Netlogo, to animate models. |
Tipo: | Artigo em ata de conferência |
Descrição: | Available for individual study only. |
URI: | https://hdl.handle.net/1822/15270 |
ISBN: | 978-3-642-21349-6 |
DOI: | 10.1007/978-3-642-21350-2_8 |
ISSN: | 0302-9743 |
Versão da editora: | http://www.springerlink.com/ |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
ticttl11.pdf | 224,5 kB | Adobe PDF | Ver/Abrir |