Bibliograph. Daten | Häcker, Claudius: Automatische Korrektheitsprüfung von Formeln und Programmen. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2065 (2003). 62 Seiten, deutsch.
|
Kurzfassung | 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.
|
Abteilung(en) | Universität Stuttgart, Institut für Formale Methoden der Informatik, Formale Konzepte
|
Betreuer | Claus, Prof. Volker; Weicker, K. |
Eingabedatum | 28. März 2024 |
---|