{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:13:19Z","timestamp":1742994799741,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642543371"},{"type":"electronic","value":"9783642543388"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54338-8_5","type":"book-chapter","created":{"date-parts":[[2014,2,28]],"date-time":"2014-02-28T09:27:37Z","timestamp":1393579657000},"page":"64-77","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Mathematical Literacy as a Condition for Sustainable Development"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Soares","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Maria Helena","family":"Martinho","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,1]]},"reference":[{"key":"5_CR1","volume-title":"Dialogue and Learning in Mathematics Education: Intention, Reflection, Critique","author":"H Alro","year":"2002","unstructured":"Alro, H., Skovsmose, O.: Dialogue and Learning in Mathematics Education: Intention, Reflection, Critique. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"5_CR2","series-title":"Oxford Logic Guides","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001","volume-title":"Category Theory","author":"S Awodey","year":"2006","unstructured":"Awodey, S.: Category Theory. Oxford Logic Guides. Oxford University Press, Oxford (2006)"},{"key":"5_CR3","unstructured":"Backhouse, R.C.: Mathematics and programming. A revolution in the art of effective reasoning. Inaugural Lecture, School of Computer Science and IT, University of Nottingham (2001)"},{"key":"5_CR4","volume-title":"Problem Solving, Reasoning, and Communicating, k-8: Helping Children Think Mathematically","author":"A Barrody","year":"1993","unstructured":"Barrody, A.: Problem Solving, Reasoning, and Communicating, k-8: Helping Children Think Mathematically. Macmillan, New York (1993)"},{"key":"5_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)"},{"issue":"6","key":"5_CR6","doi-asserted-by":"crossref","first-page":"324","DOI":"10.5951\/TCM.1.6.0324","volume":"1","author":"L Buschman","year":"1995","unstructured":"Buschman, L.: Communicating in the language of mathematics. Teach. Child. Math. 1(6), 324\u2013329 (1995)","journal-title":"Teach. Child. Math."},{"key":"5_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"EW Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Springer, New York (1990)"},{"key":"5_CR8","unstructured":"Ferreira, J.F.: Principles and applications of algorithmic problem solving. Ph.D. thesis, University of Nottingham (2010)"},{"key":"5_CR9","series-title":"LNCS","first-page":"39","volume-title":"TFM 2009","author":"JF Ferreira","year":"2009","unstructured":"Ferreira, J.F., Mendes, A., Backhouse, R., Barbosa, L.S.: Which mathematics for the information society? In: Gibbons, J., Oliveira, J.N. (eds.) TFM 2009. LNCS, vol. 5846, pp. 39\u201356. Springer, Heidelberg (2009)"},{"key":"5_CR10","series-title":"LNCS(LNAI)","first-page":"62","volume-title":"TICTTL 2011","author":"JF Ferreira","year":"2011","unstructured":"Ferreira, J.F., Mendes, A., Cunha, A., Baquero, C., Silva, P., Barbosa, L.S., Oliveira, J.N.: Logic training through algorithmic problem solving. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds.) TICTTL 2011. LNCS(LNAI), vol. 6680, pp. 62\u201369. Springer, Heidelberg (2011)"},{"key":"5_CR11","first-page":"115","volume-title":"Learning Discourse: Discursive Approaches to Research in Mathematics Education","author":"E Forman","year":"2002","unstructured":"Forman, E., Ansell, E.: The multiple voices of a mathematics classroom community. In: Kieran, C., Forman, E., Sfard, A. (eds.) Learning Discourse: Discursive Approaches to Research in Mathematics Education, pp. 115\u2013142. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"5_CR12","volume-title":"Beauty is our Business","author":"D Gries","year":"1990","unstructured":"Gries, D., Feijen, W.H.J., van Gasteren, A.J.M., Misra, J.: Beauty is our Business. Springer, New York (1990)"},{"key":"5_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":"5_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1084-9","volume-title":"I Want to Be a Mathematician","author":"PR Halmos","year":"1985","unstructured":"Halmos, P.R.: I Want to Be a Mathematician. Springer, Berlin (1985)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/S0883-0355(05)80004-7","volume":"17","author":"J Hiebert","year":"1992","unstructured":"Hiebert, J.: Reflection and communication: cognitive considerations in school mathematics reform. Int. J. Educ. Res. 17, 439\u2013456 (1992)","journal-title":"Int. J. Educ. Res."},{"key":"5_CR16","volume-title":"Conceptual Mathematics","author":"FW Lawvere","year":"1997","unstructured":"Lawvere, F.W., Schanuel, S.H.: Conceptual Mathematics. Cambridge University Press, Cambridge (1997)"},{"key":"5_CR17","first-page":"17","volume-title":"Talking Mathematics in School: Studies of Teaching and Learning","author":"K McClain","year":"1998","unstructured":"McClain, K., Cobb, P.: The role of imagery and discourse in supporting students\u2019 mathematical development. In: Lampert, M., Blunk, M.L. (eds.) Talking Mathematics in School: Studies of Teaching and Learning, pp. 17\u201355. Cambridge University Press, Cambridge (1998)"},{"key":"5_CR18","unstructured":"Mendes, A.: Structured editing of handwritten mathematics. Ph.D. thesis, University of Nottingham (2011)"},{"key":"5_CR19","first-page":"143","volume-title":"Learning Discourse: Discursive Approaches to Research in Mathematics Education","author":"MC O\u2019Connor","year":"2002","unstructured":"O\u2019Connor, M.C.: Can any fraction be turned into a decimal?: a case study of a mathematical group discussion. In: Kieran, C., Forman, E., Sfard, A. (eds.) Learning Discourse: Discursive Approaches to Research in Mathematics Education, pp. 143\u2013185. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"5_CR20","unstructured":"OCDE Report: Education at a clance: OCDE indicators 2006. OCDE Publishing, Paris (2006)"},{"key":"5_CR21","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1017\/CBO9780511571251.010","volume-title":"Talking Mathematics in School: Studies of Teaching and Learning","author":"PS Rittenhouse","year":"1998","unstructured":"Rittenhouse, P.S.: The teacher\u2019s role in mathematical conversation: stepping in and stepping out. In: Lampert, M., Blunk, M.L. (eds.) Talking Mathematics in School: Studies of Teaching and Learning, pp. 163\u2013189. Cambridge University Press, Cambridge (1998)"},{"key":"5_CR22","series-title":"LNCS","volume-title":"On the Shape of Mathematical Arguments","year":"1990","unstructured":"van Gasteren, A.J.M. (ed.): On the Shape of Mathematical Arguments. LNCS, vol. 445. Springer, Heidelberg (1990)"},{"issue":"2","key":"5_CR23","doi-asserted-by":"publisher","first-page":"171","DOI":"10.2307\/749609","volume":"30","author":"T Wood","year":"1999","unstructured":"Wood, T.: Creating a context for argument in mathematics class. J. Res. Math. Educ. 30(2), 171\u2013191 (1999)","journal-title":"J. Res. Math. Educ."}],"container-title":["Lecture Notes in Computer Science","Information Technology and Open Source: Applications for Education, Innovation, and Sustainability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54338-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T17:13:47Z","timestamp":1674148427000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-54338-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642543371","9783642543388"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54338-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}