04035oam 2200889 c 450 99635443670331620220221094418.03-8309-8606-89783830986065(CKB)4330000000531676(Waxmann)9783830986065(EXLCZ)99433000000053167620220221d2017 uy 0gerurnnunnnannuutxtrdacontentcrdamediacrrdacarrierAutomatisierte Bewertung in der Programmierausbildung[electronic resource]Oliver J. Bott, Peter Fricke, Uta Priss, Michael Striewe1st, New ed.MünsterWaxmann20171 online resource (420 p.)Digitale Medien in der Hochschullehre63-8309-3606-0 Praktische Übungen anhand von Programmieraufgaben sind ein gängiger und zentraler Bestandteil der Programmierausbildung in der Informatik und verwandten Fächern. Die manuelle Korrektur von Lösungen zu Programmieraufgaben ist jedoch zeitaufwändig und nicht immer einfach. Gerade in Szenarien, die auf sogenanntes "formatives Assessment" setzen, ist jedoch ein zeitnahes Feedback zumindest zu den wesentlichen Aspekten einer Lösung sehr wünschenswert. In diesem - aber auch in weiteren Szenarien - kann eine automatisierte Bewertung der Lösungen von Programmieraufgaben einen wertvollen Beitrag zur Verbesserung der Lehre leisten. Darüber hinaus ermöglichen geeignete Systeme eine Darstellung des Lernfortschritts, halten Lernende durch regelmäßig bewertete Übungsaufgaben zur kontinuierlichen Mitarbeit an und unterstützen Lehrende durch einen Überblick über Lernfortschritte und Lernhürden einzelner Studierender und der gesamten Gruppe bei der Planung und Ausrichtung ihrer Lehre. Dieses Buch richtet sich an Lehrende an Hochschulen, Schulen und anderen Ausbildungseinrichtungen, an Hochschuldidaktiker mit Bezug zur Programmierausbildung und an Informatiker, die mit der Entwicklung oder Integration von Systemen zur automatischen Programmbewertung beschäftigt sind. Die Ziele dieses Buches sind zum einen, Lehrenden die praktische Relevanz und Tauglichkeit automatisierter Programmbewertung aufzuzeigen und damit den Einsatz automatischer Programmbewertung durch die Darstellung erfolgreicher Ansätze zu fördern. Zum anderen soll dem Thema der automatisierten Programmbewertung ein größerer Bekanntheitsgrad in der Fachöffentlichkeit verschafft und Arbeitsergebnisse aus Forschungs- und Praxisprojekten einem größeren Anwenderkreis präsentiert werden.ProgrammierausbildungJavaSQLPrologUML-ModellierungAppAndroidMathematikausbildungGraderJACKPraktomatGrajaaSQLgGATEVEAPABSASBMoodleLON-CAPASTUD.IPMedien- und UmweltpädagogikProgrammierausbildungJavaSQLPrologUML-ModellierungAppAndroidMathematikausbildungGraderJACKPraktomatGrajaaSQLgGATEVEAPABSASBMoodleLON-CAPASTUD.IPMedien- und UmweltpädagogikBott Oliver JedtFricke PeteredtPriss UtaedtStriewe MichaeledtWaxmannWaxmannBOOK996354436703316Automatisierte Bewertung in der Programmierausbildung2780569UNISA03776nam 22006615 450 991048348520332120251113192603.03-030-61773-410.1007/978-3-030-61773-8(CKB)4100000011949895(MiAaPQ)EBC6633337(Au-PeEL)EBL6633337(OCoLC)1253477693(PPN)265423368(DE-He213)978-3-030-61773-8(EXLCZ)99410000001194989520210529d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAbduction in Cognition and Action Logical Reasoning, Scientific Inquiry, and Social Practice /edited by John R. Shook, Sami Paavola1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (298 pages)Studies in Applied Philosophy, Epistemology and Rational Ethics,2192-6263 ;593-030-61772-6 Chapter 1: Are There Types of Abduction? An Inquiry into a Comprehensive Classification of Types of Abduction -- Chapter 2: Practical Abduction for Research on Human Practices: Enriching Rather than Testing a Hypothesis -- Chapter 3: Abductive Spaces: Modeling Concept -- Framework Revision with Category Theory -- Chapter 4: Abduction as “Leading Away”: Aristotle, Peirce, and the Importance of Eco-Cognitive Openness and Situatedness -- Chapter 5: Methodeutic of Abduction -- Chapter 6: Abductive Regression.This book gathers together novel essays on the state-of-the-art research into the logic and practice of abduction. In many ways, abduction has become established and essential to several fields, such as logic, cognitive science, artificial intelligence, philosophy of science, and methodology. In recent years this interest in abduction’s many aspects and functions has accelerated. There are evidently several different interpretations and uses for abduction. Many fundamental questions on abduction remain open. How is abduction manifested in human cognition and intelligence? What kinds or types of abduction can be discerned? What is the role for abduction in inquiry and mathematical discovery? The chapters aim at providing answer to these and other current questions. Their contributors have been at the forefront of discussions on abduction, and offer here their updated approaches to the issues that they consider central to abduction’s contemporary relevance. The book is an essential reading for any scholar or professional keeping up with disciplines impacted by the study of abductive reasoning, and its novel development and applications in various fields.Studies in Applied Philosophy, Epistemology and Rational Ethics,2192-6263 ;59Knowledge, Theory ofCognitive psychologyArtificial intelligenceSociologyMethodologyEpistemologyCognitive PsychologyArtificial IntelligenceSociological MethodsKnowledge, Theory of.Cognitive psychology.Artificial intelligence.SociologyMethodology.Epistemology.Cognitive Psychology.Artificial Intelligence.Sociological Methods.160160Shook John R.Paavola SamiMiAaPQMiAaPQMiAaPQBOOK9910483485203321Abduction in cognition and action2585989UNINA