{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T02:32:55Z","timestamp":1648953175284},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642049118","type":"print"},{"value":"9783642049125","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04912-5_4","type":"book-chapter","created":{"date-parts":[[2009,10,26]],"date-time":"2009-10-26T11:04:31Z","timestamp":1256555071000},"page":"39-56","source":"Crossref","is-referenced-by-count":5,"title":["Which Mathematics for the Information Society?"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o F.","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"Alexandra","family":"Mendes","sequence":"additional","affiliation":[]},{"given":"Roland","family":"Backhouse","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"ATX. Algoritmo de Coloca\u00e7\u00e3o de professores (in Portuguese). ATX Software press release (November 2004)"},{"key":"4_CR2","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":"4_CR3","unstructured":"Back, R.-J., von Wright, J.: Mathematics with a little bit of logic: Structured derivations in high-school mathematics"},{"key":"4_CR4","unstructured":"Back, R.-J., von Wright, J.: Doing high school mathematics carefully. Technical report (1997)"},{"key":"4_CR5","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":"4_CR6","volume-title":"Program Construction","author":"R.C. Backhouse","year":"2003","unstructured":"Backhouse, R.C.: Program Construction. John Wiley and Sons, Inc., Chichester (2003)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"4_CR8","first-page":"80","volume":"18","author":"R.C. Backhouse","year":"1997","unstructured":"Backhouse, R.C., Verhoeven, R.: Mathspad: A system for on-line preparation of mathematical documents. Software - Concepts and Tools\u00a018, 80\u201389 (1997)","journal-title":"Software - Concepts and Tools"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-70594-9_6","volume-title":"Mathematics of Program Construction","author":"R. Backhouse","year":"2008","unstructured":"Backhouse, R., Ferreira, J.F.: Recounting the rationals: Twice! In: Audebaud, P., Paulin-Mohring, C. (eds.) MPC 2008. LNCS, vol.\u00a05133, pp. 79\u201391. Springer, Heidelberg (2008)"},{"key":"4_CR10","unstructured":"Backhouse, R., Ferreira, J.F.: On Euclid\u2019s algorithm and elementary number theory (2009) (submitted for publication), \n \n http:\/\/joaoff.com\/publications\/2009\/euclid-alg\/"},{"key":"4_CR11","unstructured":"Bell, T., Witten, I.H., Fellows, M.: Computer Science Unplugged: An enrichment and extension programme for primary-aged children (December 2006), \n \n http:\/\/csunplugged.org\/index.php\/en\/books"},{"key":"4_CR12","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":"4_CR13","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. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 316\u2013331. Springer, Heidelberg (2006)"},{"key":"4_CR14","unstructured":"Dijkstra, E.W.: A new science, from birth to maturity. note EWD1024 (1988)"},{"key":"4_CR15","unstructured":"Dijkstra, E.W.: On the cruelty of really teaching computing science. note EWD1036 (1988)"},{"key":"4_CR16","unstructured":"Dijkstra, E.W.: On the economy of doing mathematics. note EWD1130 (1992)"},{"key":"4_CR17","doi-asserted-by":"crossref","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, Heidelberg (1990)","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"4_CR18","volume-title":"39th ASEE\/IEEE Frontiers in Education Conference","author":"J.F. Ferreira","year":"2009","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":"4_CR19","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, Heidelberg (1990)"},{"key":"4_CR20","doi-asserted-by":"crossref","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, Heidelberg (1993)","DOI":"10.1007\/978-1-4757-3837-7"},{"issue":"3","key":"4_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/102868.102870","volume":"34","author":"D. Gries","year":"1991","unstructured":"Gries, D.: Improving the curriculum through the teaching of calculation and discrimination. Communications of the ACM\u00a034(3), 45\u201355 (1991)","journal-title":"Communications of the ACM"},{"key":"4_CR22","first-page":"105","volume-title":"Handbook of qualitative research","author":"E. Guba","year":"1994","unstructured":"Guba, E., Lincoln, Y.: Competing paradigms in qualitative research. In: Denzin, N., Lincoln, Y. (eds.) Handbook of qualitative research, pp. 105\u2013117. Sage, London (1994)"},{"key":"4_CR23","unstructured":"Honsberger, R.: In Polya\u2019s Footsteps: Miscellaneous Problems and Essays (Dolciani Mathematical Expositions). The Mathematical Association of America (October 1997)"},{"key":"4_CR24","unstructured":"ME. Declara\u00e7\u00e3o sobre o processo de coloca\u00e7\u00e3o de professores para o ano lectivo 2004-05 (in Portuguese). Government press release (September 2004)"},{"key":"4_CR25","volume-title":"38th ASEE\/IEEE Frontiers in Education Conference","author":"A. Mendes","year":"2008","unstructured":"Mendes, A.: Work in progress: Structure editing of handwritten mathematics. In: 38th ASEE\/IEEE Frontiers in Education Conference. IEEE, Los Alamitos (2008)"},{"key":"4_CR26","unstructured":"Michalewicz, Z., Michalewicz, M.: Puzzle-based Learning: Introduction to Critical Thinking, Mathematics, and Problem Solving, 1st edn. Hybrid Publishers (2008)"},{"key":"4_CR27","unstructured":"OCDE Report. Education at a clance: OCDE indicators 2006. OCDE Publishing, Paris (2006)"},{"key":"4_CR28","unstructured":"DIMACS Symposium. Teaching logic and reasoning in an illogical world. Technical report, Rutgers University (1996)"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. LNCS, vol.\u00a0445. Springer, Heidelberg (1990)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1007\/3-540-48118-4_10","volume-title":"FM 1999 - Int. Formal Methods Symposium","author":"R. Verhoeven","year":"1999","unstructured":"Verhoeven, R., Backhouse, R.C.: Towards tool support for program verification and construction. In: Wing, J.W.J., Davies, J. (eds.) FM 1999 - Int. Formal Methods Symposium. LNCS, vol.\u00a01709, pp. 1128\u20131146. Springer, Heidelberg (1999)"},{"key":"4_CR31","unstructured":"Wilf, H.S.: Can there be research in mathematical education? \n \n http:\/\/www.math.upenn.edu\/~wilf\/website\/PSUTalk.pdf"},{"issue":"3","key":"4_CR32","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1118178.1118215","volume":"49","author":"J.M. Wing","year":"2006","unstructured":"Wing, J.M.: Computational thinking. Commun. ACM\u00a049(3), 33\u201335 (2006)","journal-title":"Commun. ACM"},{"issue":"5","key":"4_CR33","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)","journal-title":"Commun. ACM"}],"container-title":["Teaching Formal Methods","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04912-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:13:26Z","timestamp":1619781206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04912-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049118","9783642049125"],"references-count":33,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-642-04912-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[2009]]}}}