NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
PDF on ERIC Download full text
ERIC Number: EJ1146289
Record Type: Journal
Publication Date: 2017
Pages: 18
Abstractor: As Provided
ISSN: EISSN-2065-1430
Formal Abstraction in Engineering Education--Challenges and Technology Support
Neuper, Walther A.
Acta Didactica Napocensia, v10 n1 p1-18 2017
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.
Babes-Bolyai University. Kogainiceanu 1, Cluj-Napoca, 400084 Romania. e-mail:; Web site:
Publication Type: Journal Articles; Reports - Descriptive
Education Level: N/A
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Identifiers - Location: Europe
Grant or Contract Numbers: N/A