Formal Abstraction in Engineering Education--Challenges and Technology Support

Autor/in	Neuper, Walther A.
Titel	Formal Abstraction in Engineering Education--Challenges and Technology Support
Quelle	In: Acta Didactica Napocensia, 10 (2017) 1, S.1-18 (18 Seiten)Infoseite zur Zeitschrift PDF als Volltext kostenfreie Datei Verfügbarkeit
Sprache	englisch
Dokumenttyp	gedruckt; online; Zeitschriftenaufsatz
ISSN	2065-1430
Schlagwörter	Engineering Education; Technology Uses in Education; Educational Technology; Models; Concept Formation; Abstract Reasoning; Mathematics Instruction; Teaching Methods; Mathematical Concepts; Foreign Countries; Europe + Suchen Sie Ihr Suchwort? Ingenieurausbildung; Technology enhanced learning; Technology aided learning; Technologieunterstütztes Lernen; Unterrichtsmedien; Analogiemodell; Concept learning; Begriffsbildung; Abstraktes Denken; Denken; Mathematics lessons; Mathematikunterricht; Teaching method; Lehrmethode; Unterrichtsmethode; Ausland; Europa
Abstract	This is a position paper in the field of Engineering Education, which is at the very beginning in Europe. It relates challenges in the new field to the emerging technology of (Computer) Theorem Proving (TP). Experience shows, that "teaching" abstract models, for instance the wave equation in mechanical engineering and in electrical engineering, is difficult. This paper suggests novel technology to support "learning" in a novel way such that abstract models are better understood eventually. Such support acknowledges learning and mastering abstraction as a long-term process, which requires revisiting physical and mathematical concepts again and again, which in turn continuously raises the level of abstraction at an individual pace and fosters students' familiarity with formal descriptions capturing essential properties of models and respective elements. The paper discusses the potential of TP to support students' process of abstraction and expected impact on teaching mathematics at engineering faculties. (As Provided).
Anmerkungen	Babes-Bolyai University. Kogainiceanu 1, Cluj-Napoca, 400084 Romania. e-mail: submit_adn@yahoo.com; Web site: http://adn.teaching.ro
Erfasst von	ERIC (Education Resources Information Center), Washington, DC
Update	2020/1/01