{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:08:46Z","timestamp":1725584926169},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642213496"},{"type":"electronic","value":"9783642213502"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21350-2_8","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T16:05:50Z","timestamp":1307721950000},"page":"62-69","source":"Crossref","is-referenced-by-count":6,"title":["Logic Training through Algorithmic Problem Solving"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o F.","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"Alexandra","family":"Mendes","sequence":"additional","affiliation":[]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Baquero","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Silva","sequence":"additional","affiliation":[]},{"given":"L. S.","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"J. N.","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Back, R.J., Mannila, L., Peltomaki, M., Sibelius, P.: Structured derivations: A logic based approach to teaching mathematics. In: FORMED 2008: Formal Methods in Computer Science Education, Budapest (2008)"},{"key":"8_CR2","unstructured":"Back, R.J., von Wright, J.: Mathematics with a little bit of logic: Structured derivations in high-school mathematics (2006)"},{"key":"8_CR3","unstructured":"Backhouse, R.C.: Mathematics and programming. A revolution in the art of effective reasoning. Inaugural Lecture, University of Nottingham (2001)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/3-540-57499-9_15","volume-title":"Formal Program Development","author":"R.C. Backhouse","year":"1993","unstructured":"Backhouse, R.C., Hoogendijk, P.F.: Elements of a relational theory of datatypes. In: M\u00f6ller, B., Schuman, S., Partsch, H. (eds.) Formal Program Development. LNCS, vol.\u00a0755, pp. 7\u201342. Springer, Heidelberg (1993)"},{"key":"8_CR5","series-title":"Series in Computer Science","volume-title":"The Algebra of Programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., Moor, O.: The Algebra of Programming. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1997)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/11813040_22","volume-title":"FM 2006: Formal Methods","author":"R. Boute","year":"2006","unstructured":"Boute, R.: Using Domain-Independent Problems for Introducing Formal Methods (chapter 22). In: Misra, J., Nipkow, T., Karakostas, G. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 316\u2013331. Springer, Heidelberg (2006), doi:10.1007\/11813040_22"},{"key":"8_CR7","unstructured":"Dijkstra, E.W.: On the economy of doing mathematics. note EWD1130 (1992)"},{"key":"8_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Springer, New York (1990)"},{"key":"8_CR9","unstructured":"Ferreira, J.F.: Principles and Applications of Algorithmic Problem Solving. Ph.D. thesis, School of Computer Science, University of Nottingham (2010)"},{"volume-title":"39th ASEE\/IEEE Frontiers in Education Conference","year":"2009","author":"J.F. Ferreira","key":"8_CR10","unstructured":"Ferreira, J.F., Mendes, A.: Student\u2019s feedback on teaching mathematics through the calculational method. In: 39th ASEE\/IEEE Frontiers in Education Conference. IEEE, Los Alamitos (2009)"},{"key":"8_CR11","series-title":"Springer Lect. Notes Comp. Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020908","volume-title":"On the Shape of Mathematical Arguments","author":"A.J.M. Gasteren van","year":"1990","unstructured":"van Gasteren, A.J.M.: On the Shape of Mathematical Arguments. Springer Lect. Notes Comp. Sci, vol.\u00a0(445). Springer, Heidelberg (1990)"},{"volume-title":"Beauty is our Business","year":"1990","author":"D. Gries","key":"8_CR12","unstructured":"Gries, D., Feijen, W.H.J., van Gasteren, A.J.M., Misra, J.: Beauty is our Business. Springer, Heidelberg (1990)"},{"key":"8_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3837-7","volume-title":"A Logical Approach to Discrete Mathematics","author":"D. Gries","year":"1993","unstructured":"Gries, D., Schneider, F.: A Logical Approach to Discrete Mathematics. Springer, New York (1993)"},{"key":"8_CR14","unstructured":"Honsberger, R.: In Polya\u2019s Footsteps: Miscellaneous Problems and Essays (Dolciani Mathematical Expositions). The Mathematical Association of America (1997)"},{"volume-title":"Software Abstractions: Logic, Language, and Analysis","year":"2006","author":"D. Jackson","key":"8_CR15","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"8_CR16","unstructured":"Tisue, S., Wilensky, U.: Netlogo: A simple environment for modeling complexity. In: International Conference on Complex Systems, pp. 16\u201321 (2004)"},{"issue":"5","key":"8_CR17","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/1506409.1506432","volume":"52","author":"P. Winkler","year":"2009","unstructured":"Winkler, P.: Puzzled: Understanding relationships among numbers. Commun. ACM\u00a052(5), 112 (2009), doi:10.1145\/1506409.1506432","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Tools for Teaching Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21350-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T15:22:37Z","timestamp":1553786557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21350-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213496","9783642213502"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21350-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}