<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">João F. Ferreira</style></author><author><style face="normal" font="default" size="100%">Alexandra Mendes</style></author><author><style face="normal" font="default" size="100%">Alcino Cunha</style></author><author><style face="normal" font="default" size="100%">Carlos Baquero Moreno</style></author><author><style face="normal" font="default" size="100%">Paulo Silva</style></author><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author><author><style face="normal" font="default" size="100%">José Nuno Oliveira</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Patrick Blackburn</style></author><author><style face="normal" font="default" size="100%">Hans van Ditmarsch</style></author><author><style face="normal" font="default" size="100%">María Manzano</style></author><author><style face="normal" font="default" size="100%">Fernando Soler-Toscano</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Logic Training through Algorithmic Problem Solving</style></title><secondary-title><style face="normal" font="default" size="100%">Tools for Teaching Logic</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">LNCS</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://link.springer.com/chapter/10.1007%2F978-3-642-21350-2_8#page-1</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jno/files/ticttl11.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin / Heidelberg</style></publisher><pub-location><style face="normal" font="default" size="100%">Salamanca, Spain</style></pub-location><volume><style face="normal" font="default" size="100%">6680</style></volume><pages><style face="normal" font="default" size="100%">62-69</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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 pre university level, under the justication 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 work shop resorted to recreational problems to convey the principles and to software tools, the Alloy Analyzer and Netlogo, to animate models.&lt;/p&gt;
</style></abstract></record></records></xml>