[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-0-en-105":3,"doc-seo-588711-105":59,"doc-detail-588711-en":130},{"code":4,"msg":5,"data":6},0,"success",[7,13,18,23,28,33,38,43,48,51,55],{"id":8,"doc_module":4,"doc_module_name":9,"category_name":10,"show_sort_weight":11,"slug":12},1,"Document","Story & Novel",90,"story-novel",{"id":14,"doc_module":4,"doc_module_name":9,"category_name":15,"show_sort_weight":16,"slug":17},2,"Literature",80,"literature",{"id":19,"doc_module":4,"doc_module_name":9,"category_name":20,"show_sort_weight":21,"slug":22},4,"Exam",70,"exam",{"id":24,"doc_module":4,"doc_module_name":9,"category_name":25,"show_sort_weight":26,"slug":27},5,"Comic",60,"comic",{"id":29,"doc_module":4,"doc_module_name":9,"category_name":30,"show_sort_weight":31,"slug":32},6,"Technology",50,"technology",{"id":34,"doc_module":4,"doc_module_name":9,"category_name":35,"show_sort_weight":36,"slug":37},7,"Healthcare",40,"healthcare",{"id":39,"doc_module":4,"doc_module_name":9,"category_name":40,"show_sort_weight":41,"slug":42},8,"Research & Report",30,"research-report",{"id":44,"doc_module":4,"doc_module_name":9,"category_name":45,"show_sort_weight":46,"slug":47},9,"Religion & Spirituality",20,"religion-spirituality",{"id":46,"doc_module":4,"doc_module_name":9,"category_name":49,"show_sort_weight":46,"slug":50},"World Cup","world-cup",{"id":52,"doc_module":4,"doc_module_name":9,"category_name":53,"show_sort_weight":52,"slug":54},10,"Lifestyle","lifestyle",{"id":56,"doc_module":4,"doc_module_name":9,"category_name":57,"show_sort_weight":24,"slug":58},19,"General","general",{"code":4,"msg":60,"data":61},"ok",{"site_id":62,"language":63,"slug":64,"title":65,"keywords":66,"description":67,"schema_data":68,"social_meta":123,"head_meta":125,"extra_data":127,"updated_unix":129},105,"en","formal-abstraction-in-engineering-education-challenges-and-technology-support","FORMAL ABSTRACTION IN ENGINEERING EDUCATION - CHALLENGES AND TECHNOLOGY SUPPORT","","Position paper on engineering education addressing the difficulty of teaching abstract models, such as wave equations in mechanical and electrical engineering. The work proposes computer theorem proving (TP) and related interactive technology to support learning of formal abstraction as a long-term process. It emphasizes repeated revisiting of physical and mathematical ideas, paced progression in abstraction, and improved understanding of essential properties within formal descriptions, with expected impact on teaching applied mathematics at engineering faculties.",{"@graph":69,"@context":122},[70,84,105],{"@type":71,"itemListElement":72},"BreadcrumbList",[73,77,79,82],{"item":74,"name":75,"@type":76,"position":8},"https://docshare.wps.com","Home","ListItem",{"item":78,"name":9,"@type":76,"position":14},"https://docshare.wps.com/document/",{"item":80,"name":40,"@type":76,"position":81},"https://docshare.wps.com/document/research-report/",3,{"item":83,"name":65,"@type":76,"position":19},"https://docshare.wps.com/document/formal-abstraction-in-engineering-education-challenges-and-technology-support/588711/",{"url":83,"name":65,"@type":85,"image":86,"author":91,"headline":65,"publisher":94,"fileFormat":97,"inLanguage":63,"description":67,"dateModified":98,"datePublished":99,"encodingFormat":97,"isAccessibleForFree":100,"interactionStatistic":101},"DigitalDocument",{"url":87,"@type":88,"width":89,"height":90},"https://docshare.wps.com/thumbnails/formal-abstraction-in-engineering-education-challenges-and-technology-support/588711.png","ImageObject",300,407,{"name":92,"@type":93},"Rizky","Person",{"url":74,"name":95,"@type":96},"DocShare","Organization","application/pdf","2026-11-10","2026-10-15",true,{"@type":102,"interactionType":103,"userInteractionCount":24},"InteractionCounter",{"@type":104},"ViewAction",{"@type":106,"mainEntity":107},"FAQPage",[108,114,118],{"name":109,"@type":110,"acceptedAnswer":111},"Why is teaching abstract models in engineering education challenging?","Question",{"text":112,"@type":113},"Teaching abstract models is difficult because mathematical reasoning differs from common sense and students must learn a different style of thinking to handle formal representations.","Answer",{"name":115,"@type":110,"acceptedAnswer":116},"What technology support does the paper propose to aid learning?",{"text":117,"@type":113},"The paper suggests support based on (Computer) Theorem Proving (TP) to help students better understand abstract models through interactive technological means.",{"name":119,"@type":110,"acceptedAnswer":120},"How does the proposed approach treat abstraction learning over time?",{"text":121,"@type":113},"It frames mastering abstraction as a long-term process that requires revisiting physical and mathematical concepts repeatedly, raising abstraction levels at each student’s pace.","https://schema.org",{"og:url":83,"og:type":124,"og:title":65,"og:site_name":95,"og:description":67},"article",{"robots":126,"canonical":83},"index,follow",{"doc_id":128,"site_id":62},588711,1793077863,{"code":4,"msg":5,"data":131},{"doc_id":128,"user_id":132,"nickname":92,"user_avatar":133,"doc_module":4,"category_id":39,"category_name":40,"doc_title":65,"doc_description":67,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":24,"is_deleted":4,"is_public":8,"is_downloadable":8,"audit_status":8,"page_count":139,"language":140,"language_code":63,"site_id":62,"html_lang":63,"table_of_contents":141,"faqs":142,"seo_title":143,"seo_description":67,"update_tm":144,"read_time":145,"preview_page_count":4},962085564807,"https://ap-avatar.wpscdn.com/davatar_6f874abed73319feea01a86fa6f0fab8","Volume 10, Number 1, 2017  \nFORMAL ABSTRACTION IN ENGINEERING EDUCATION—CHALLENGES AND TECHNOLOGY SUPPORT  \nWalther A. Neuper  \nAbstract. This is a position paper in the 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)  \nTheorem Proving (TP) .  \nExperience 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.  \nSuch 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.  \nThe paper discusses the potential of TP to support students' process of abstraction and expected impact on teaching mathematics at engineering faculties.  \nKey words: Engineering Education, Formal Models, Mathematical Abstraction, Interactive Worksheets, Computer Theorem Proving  \n. . . ``in recent years, many studies have highlighted an alarming decline in young people's interest for key science studies and mathematics. Despite the numerous projects and actions that are being implemented to reverse this trend, the signs of improvement are still modest. Unless more effective action is taken, Europe's longer term capacity to innovate, and the quality of its research will also decline. '' . . . these are the first lines of the Rocard-Report [46] written by the Directorate-General for Research on behalf of the EU Commission in 2007 . Another point are studies in STEM (Science, Technology, Engineering and Mathematics) education, which addict the ``alarming decline of interest'' in academic education to mathematics [49] .  \nSo there are challenges in education for mathematics and engineering.  \n1 Introduction: Challenges in engineering education  \nSince challenges in STEM education have been identified on a high administrative level by [46], considerable efforts have been invested. In the EU and in the US high-schools reacted quickly and started well-funded projects, for instance [9, 5, 6] . The keywords for these projects and respective recommendations are ``inquiry-based learning'' [ 10] and ``competence-oriented teaching'' [42] . The consequence for general practice of mathematics education appears to be less frustration of pupils, but also less formal operation and reduced knowledge---which causes lots of sharp criticisms, e.g. [31], from academic STEM teachers.  \nAt the academic level, which is addressed by this paper, reaction was slower. By now some universities of technology have appointed institutional resources to the topic, for instance at Darmstadt 1 , at M¸nchen 2 or at Hamburg 3 . There is initial work on theoretical foundations [16] . But still there seems no  \n1[http://www.uni-stuttgart.de/bpt/](http://www.uni-stuttgart.de/bpt/)  \n2[http://www.prolehre.tum.de/](http://www.prolehre.tum.de/)  \n3[https://cgi.tu-harburg.de/~zllwww/](https://cgi.tu-harburg.de/~zllwww/)  \nliterature to specifically address teaching applied mathematics at the academic level. So the paper starts more or less from scratch.  \nReality and formality  \nBruno Buchberger in [18] describes the rÛle of mathematics in science and generally in history of mankind (see Fig.1) .  \nFigure 1: The rÛle of reality and formality, B. Buchberger [18] .  \nThere is a yellow line between the real world and the world of formal models in mathematics: the former is accessible by our senses, our actions in this world are governed by (hopefully) common sense---where the latter is accessible by thought only and governed by formal logic.  \nOne should not forget a major motivation","cbCaibSSihQhpoEz","https://ap.wps.com/l/cbCaibSSihQhpoEz","pdf",357916,18,"English","# Abstract\n# Formal Abstraction in Engineering Education—Challenges and Technology Support\n## Introduction: Challenges in engineering education\n## Reality and formality\n## Formal models and levels of abstraction","[{\"question\":\"Why is teaching abstract models in engineering education challenging?\",\"answer\":\"Teaching abstract models is difficult because mathematical reasoning differs from common sense and students must learn a different style of thinking to handle formal representations.\"},{\"question\":\"What technology support does the paper propose to aid learning?\",\"answer\":\"The paper suggests support based on (Computer) Theorem Proving (TP) to help students better understand abstract models through interactive technological means.\"},{\"question\":\"How does the proposed approach treat abstraction learning over time?\",\"answer\":\"It frames mastering abstraction as a long-term process that requires revisiting physical and mathematical concepts repeatedly, raising abstraction levels at each student’s pace.\"}]","FORMAL ABSTRACTION IN ENGINEERING EDUCATION - CHALLENGES AND TECHNOLOGY SUPPORT | PDF",1792065789,45]