Über die Vorlage Informatik-Hausaufgabe

Dieses Dokument bietet ein strukturiertes Layout für Informatik-Hausaufgaben, einschließlich Kopfzeilen für Gruppeninformationen, Namen der Mitglieder und Matrikelnummern. Das vierseitige Beispiel zeigt die Verwendung des Pakets minted für Code und formale Logiknotation, wie etwa Beispiele für die Verifikation mit dem Hoare-Kalkül. Du ersetzt den Beispieltext durch deine eigenen Aufgaben und Lösungen.

• Kopfzeile für Gruppen- und Mitgliedsdetails
• Unterstützung für Code-Listings mit minted
• Unterstützung für formale Verifikationsnotation
• Vierseitige Struktur für Hausaufgaben

So verwendest du sie

1. 1Öffne sie in Texeno als eigenes Projekt, mit allen Dateien an ihrem Platz.
2. 2