Bibliography | Häcker, Claudius: Automatische Korrektheitsprüfung von Formeln und Programmen. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2065 (2003). 62 pages, german.
|
Abstract | An Universitäten bewerten Korrektoren sehr viele Abgaben zu Übungsaufgaben aus den Bereichen Mathematik und Informatik. Um diese zu entlasten, werden Verfahren benötigt, um vom Computer Abgaben automatisch bewerten zu lassen. Solche Verfahren werden in dieser Diplomarbeit für mathematische Ausdrücke wie Gleichungen, Mengen und Gleichungssysteme, außerdem Computerprogramme umformulieren und Fachwörter (jeweils für bestimmte Rahmenbedingungen) entwickelt und umgesetzt.
|
Department(s) | University of Stuttgart, Institute of Formal Methods in Computer Science, Formal Concepts
|
Superviser(s) | Claus, Prof. Volker; Weicker, K. |
Entry date | March 28, 2024 |
---|