@proceedings {7243,
	title = {O formalismo matem{\'a}tico num contexto de utiliza{\c c}{\~a}o da tecnologia [Mathematical proof in a context of technology integration]},
	journal = {Atas do XXVI SIEM},
	year = {2015},
	pages = {22-35},
	publisher = {APM},
	address = {{\'E}vora},
	abstract = {<p>The technology and how it tends to emphasize the intuitive and overshadow calculus and mathematical proof are the focus of this paper. The conclusions reached suggest that tasks where students might realize the usefulness of calculus as well as of more intuitive approaches are possible even when the technology is a reality in the classroom. They also suggest that proof may, among other things already identified in the literature, make an important contribution to the students{\textquoteright} understanding of fundamental aspects of mathematics.</p>
<p>A tecnologia e a forma como esta tende a enfatizar o intuitivo e a relegar para segundo plano o formal e a demonstra{\c c}{\~a}o matem{\'a}tica s{\~a}o o foco deste artigo. As conclus{\~o}es alcan{\c c}adas sugerem que {\'e} poss{\'\i}vel colocar aos alunos situa{\c c}{\~o}es onde estes se possam aperceber da vantagem de recorrer tanto a abordagens mais formais como a abordagens mais intuitivas e isto mesmo quando a tecnologia {\'e} uma realidade em sala de aula. Sugere ainda que a realiza{\c c}{\~a}o de demonstra{\c c}{\~o}es pode, entre outros aspectos j{\'a} identificados na literatura, dar um contributo importante para a compreens{\~a}o de aspectos basilares da Matem{\'a}tica.</p>
},
	url = {www.apm.pt/files/_XXVISIEM_Atas_prov_551361d576189.pdf},
	author = {Rocha, H.}
}
