Pensamento computacional e matemática: as referências online

Para facilitar o acesso às referências online do artigo "Pensamento Computacional e Matemática" publicado na Educação e Matemática n.º 162, pp. 31-38, reproduzimos aqui as referências com as ligações ativas.

---

Aho, A. V. (2011). Ubiquity symposium: Computation and computational thinking. Ubiquity, 2011 (January). http://ubiquity.acm.org/article.cfm?id=1922682

Beecher, K. (2017). Computational Thinking - A beginner’s guide to problem-solving and programming. BCS.

Brittanica. Seymour Papert. https://www.britannica.com/biography/Seymour-Papert

Castelvecchi, D. (2021). Abel prize celebrates union of mathematics and computer science. Nature, https://www.nature.com/articles/d41586-021-00694-9

Chabert, J.-L., Barbin, É., Guillemot, M., Michel-Pajus, A., Borowczyk, J., Djebbar, A., & Martzloff, J.-C. (1994). Histoire d’algorithmes – Du caillou à la pouce. Belin.

Copérnico, N. (2014). As revoluções dos orbes celestes. Fundação Calouste Gulbenkian. https://gulbenkian.pt/publication/as-revolucoes-dos-orbes-celestes/

Denning, P. J., & Tedre, M. (2019). Computational Thinking. The MIT Press.

Denning, P. J., Tedre, M. & Yongpradit, P. (2017). Misconceptions About Computer Science. Communications of the ACM, 60(3), 31-33.

Descartes, R. (2007). Discurso do método. Intratext. http://www.intratext.com/IXT/POR0305/_P2.HTM

Dijkstra, E. W. (1974). Programming as a Discipline of Mathematical Nature. The American Mathematical Monthly, 81(6), 608-612. https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD361.html

Fitzpatrick, R. (2008). Euclid’s Elements of Geometry. https://farside.ph.utexas.edu/books/Euclid/Elements.pdf

Forsythe, G. E. (1968). What to do Till the Computer Scientist Comes. The American Mathematical Monthly, 75(5), 454-462, https://stacks.stanford.edu/file/druid:rz632tc5340/rz632tc5340.pdf

Goldreich, O. & Wigderson, A. (2009). The Theory of Computing: A Scientific Perspective. https://www.wisdom.weizmann.ac.il/~oded/PDF/toc-sp2.pdf

Gonçalves, R. A. (2014). Utilização de métodos numéricos na resolução de equações e perspetivas de integração curricular no Ensino Secundário. Universidade do Minho. http://repositorium.sdum.uminho.pt/handle/1822/34723

Grcar, J. (2011a). Mathematicians of Gaussian Elimination. Notices of the AMS, 58(6), 782-792. https://www.ams.org/notices/201106/rtx110600782p.pdf

Grcar, J. (2011b). John von Neumann’s Analysis of Gaussian Elimination and the Origins of Modern Numerical Analysis. SIAM Review, 53(4), 607-682.

Householder, A. S. & Stewart, G. W. (1971). The numerical factorization of a polynomial. SIAM Review, 13(1), 38-46.

Householder, A. S. (1971). Generalizations of an Algorithm of Sebastião e Silva. Numerische Mathematik, 16, 375–382.

Katz, V. (1992). A History of Mathematics. HarperCollins.

Kennedy Jr., T. R. (1946). Electronic Computer Flashes Answers, May Speed Engineering. The New York Times, 15/2/1946. https://www.computerhistory.org/revolution/birth-of-the-computer/4/78/323

Kennedy Jr., T. R. (1947). A máquina calculadora electrónica. Gazeta de Matemática, 32, 1-3. https://gazeta.spm.pt/getArtigo?gid=1111

Knuth, D. E. (1972). George Forsythe and the Development of Computer Science. Communications of the ACM, 15(8), 721-727. http://coweb.cc.gatech.edu/guzdial/uploads/46/knuth-on-Forsythe-1972-CACM.pdf

Knuth, D. E. (1974). Computer Science and its Relation to Mathematics. The American Mathematical Monthly, 81, 323-343, https://www.cs.ou.edu/~diochnos/about/KnuthCSMaths.pdf

Loxodrómias e Espirais (2012). http://formas-formulas.fc.ul.pt/interactive/loxo/pt/index_pt.html

McNamee, J. M. & Pan, V. Y. (2012). Efficient polynomial root-refiners: A survey and new record efficiency estimates. Computers and Mathematics with Applications, 63, 239-254.

Nardelli, E. (2019). Do We Really Need Computational Thinking? Communications of the ACM, 62(2), 32-35.

Newton, I. (2004). O método das fluxões e das séries infinitas. Associação de Professores de Matemática e Editorial Prometeu.

Nunes, P. (2008). Obras – Vol. IV. Fundação Calouste Gulbenkian.

Papert, S. (1980). Mindstorms - Children, Computers, and Powerful Ideas. Basic Books.

Queiró, J. F. (2002). Pedro Nunes e as Linhas de Rumo. Gazeta de Matemática, 143, 42-47. https://gazeta.spm.pt/getArtigo?gid=56

Ramos, J. L. & Espadeiro, R. G. (2014). Os futuros professores e os professores do futuro. Os desafios da introdução ao pensamento computacional na escola, no currículo e na aprendizagem. Educação, Formação & Tecnologias, 7(2), 4-25. https://dialnet.unirioja.es/servlet/articulo?codigo=5112361

Rodrigues, J. F. (2017). Loxodrómias e Espirais – I. Revista de Ciência Elementar, 5(2):022. https://rce.casadasciencias.org/rceapp/art/2017/022/

Sebastião e Silva, J. (1940). Da resolução numérica de equações algébricas. Portugaliae Mathematica, 1, 303-332. https://purl.pt/404

Sebastião e Silva, J. (1941). Sur une méthode d’approximation semblable a celle de Graeffe. Portugaliae Mathematica, 2, 271–279. Republicado em Sebastião e Silva, J. (1985). Obras de José Sebastião e Silva, I, INIC, 77-85.

Sebastião e Silva, J. (1947). Nota. Gazeta de Matemática, 32, 3-4. https://gazeta.spm.pt/getArtigo?gid=1111

Sousa, L. (2016). Sobre um método proposto por Sebastião e Silva para o cálculo de raízes de uma equação algébrica. Universidade do Minho. http://repositorium.sdum.uminho.pt/handle/1822/45650

Tedre, M. & Denning, P. J. (2016). The Long Quest for Computational Thinking. Proceedings of the 16th Koli Calling Conference on Computing Education Research, 120-129.

Turing, A. M. (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, s2-42(1), 230–265. https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf

von Neumann, J. (1993). First Draft of a Report on the EDVAC. IEEE Annals of the History of Computing, 15(4), 27-75. http://web.mit.edu/STS.035/www/PDFs/edvac.pdf

Williams, M. R. (1997). A History of Computing Technology. 2nd ed. IEEE Computer Society Press.

Wing, J. (2006). Computational Thinking. Communications of the ACM, 49(3), 33-35.