1 \documentclass[a4paper,12pt]{article}
5 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
6 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
8 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
9 der Technischen Universit\"at Graz\\ \
11 \author{Alexander Kargl\\
18 \section{Urspr\"ungliche Erwartungen}
21 \section{Arbeitsprotokoll}
23 \begin{tabular}{l|l|r}
24 \textbf{Datum} &\textbf{T\"atigkeit} & \textbf{Std.} \\ \hline
26 & Demonstration des ``educational math assistant \sisac'' & 1.0\\
27 & Demonstration des Theorem Provers Isabelle & 0.5\\
28 & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\
29 & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline
31 & Einf\"uhrung Latex & 1.0 \\
32 & Einf\"uhrung ML I & 1.5 \\
33 & Konfiguration von Mercurial & 1.5 \\
34 & ML-Programmierung/Einf\"uhrung & 3.5 \\ \hline
36 & Einf\"uhrung ML II & 1.5 \\
37 & Programmierung ML & 2.0 \\
38 & Einf\"uhrung ML III & 1.0 \\
39 & Erstellung v. Beispielen f\"ur Kombinatoren in ML & 3.0 \\ \hline
41 & Einf\"uhrung ML/\sisac\ IV & 1.0 \\
42 & ML- Programmierung & 2.5 \\
43 & Einf\"uhrung ML/\sisac\ V & 1.0 \\
44 & ML- Programmierung & 3.0 \\ \hline \hline
46 & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
48 & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
50 & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
52 & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
54 & Information \"uber Studienrichtungen etc. & 1.0 \\
55 & Fehlersuche/Debugging Isac-Tests & 6.5 \\ \hline \hline
57 & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
62 \section{R\"uckblick auf das Praktikum}