1. Praxisaufgabe und 1. Übungsblatt

Nathan Wasser
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

1. Praxisaufgabe und 1. Übungsblatt

Beitrag von Nathan Wasser »

Die Aufgaben zur ersten Praxisaufgabe und zur ersten Präsenzübung sind online.

Beachten Sie die Betreuungszeiten im Poolraum.

Benutzeravatar
igor.a
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 143
Registriert: 28. Sep 2009 16:05

Re: 1. Praxisaufgabe und 1. Übungsblatt

Beitrag von igor.a »

Wie ist die Aufgabe 1.3e) abzugeben? Dort muss man ja "Prosa" schreiben, und VeriFun erkennt nur Lemmata, Funktionen und Strukturen.
Soll man vielleicht ein .zip Archiv incl. Textdokument statt einer .vf Datei (wie in der Aufgabenstellung) einreichen?

Nathan Wasser
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

Re: 1. Praxisaufgabe und 1. Übungsblatt

Beitrag von Nathan Wasser »

Ein zip-Archiv wäre eine Lösung. In VeriFun kann man aber Prozeduren, Strukturen, Lemmata, sowie Verzeichnisse kommentieren, indem man im Menü Program den Eintrag Comment... wählt.

Antworten

Zurück zu „Archiv“