Publication Date
In 2025 | 0 |
Since 2024 | 0 |
Since 2021 (last 5 years) | 0 |
Since 2016 (last 10 years) | 1 |
Since 2006 (last 20 years) | 1 |
Descriptor
Abstract Reasoning | 1 |
Concept Formation | 1 |
Educational Technology | 1 |
Engineering Education | 1 |
Foreign Countries | 1 |
Mathematical Concepts | 1 |
Mathematics Instruction | 1 |
Models | 1 |
Teaching Methods | 1 |
Technology Uses in Education | 1 |
Source
Acta Didactica Napocensia | 1 |
Author
Neuper, Walther A. | 1 |
Publication Type
Journal Articles | 1 |
Reports - Descriptive | 1 |
Education Level
Audience
Location
Europe | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Neuper, Walther A. – Acta Didactica Napocensia, 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…
Descriptors: Engineering Education, Technology Uses in Education, Educational Technology, Models