Beweisführung in EASy

Für die Bearbeitung von Übungsaufgaben wird im Rahmen der Veranstaltung Informatik 2 das E-Assessment-System EASy erprobt, das auf die Unterstützung mathematischer Beweise spezialisiert ist.
EASy ist als Java-Applet in die Internetseite zu den Informatik 2-Übungen integriert und kann daher komfortabel über das Internet auf jedem PC genutzt werden, der Java 6 unterstützt. Der Student kann EASy zur Beweisführung der Übungsaufgabe nutzen und speichert nach Beendigung den Beweis auf seinem PC ab. Die Abgabe des Beweises erfolgt durch die Versendung einer E-Mail an den entsprechenden Tutor.
Einstieg
Bitte machen Sie sich zunächst mit Hilfe der Demo mit dem EASy-System und seiner Bedienung vertraut. Die hier bereitgestellte Animation ermöglicht einen effizienten Einstieg in die Nutzung des Systems.
Bearbeitung der Aufgaben
Sofern Sie bereits mit der Nutzung von EASy vertraut sind, können Sie direkt mit der Bearbeitung der Aufgaben beginnnen.



