44 & \"Ubungen ML Functions und ML Combinators s & \\ \hline |
44 & \"Ubungen ML Functions und ML Combinators s & \\ \hline |
45 15.7.11& Einf\"uhrung ML Datastructure &7.5 \\ |
45 15.7.11& Einf\"uhrung ML Datastructure &7.5 \\ |
46 & Ml Datastructure \"Ubungen & \\ |
46 & Ml Datastructure \"Ubungen & \\ |
47 & Informationen \"uber Rewriting und MathEngine & \\ \hline |
47 & Informationen \"uber Rewriting und MathEngine & \\ \hline |
48 18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests) & 7.5 \\ |
48 18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests) & 7.5 \\ |
49 & Fehlersuche & \\ \hline |
49 & Fehlersuche im Directory ``Frontend'' & \\ \hline |
50 19.7.11 & Fehlersuche im Directory ``Knowledge & 7.5 \\ |
50 19.7.11 & Fehlersuche im Directory ``Knowledge'' & 7.5 \\ |
51 & Uncommanding funktionierender Tests & & \hline |
51 & Uncommanding funktionierender Tests & \\ \hline |
52 20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) & 7.5 \\ |
52 20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) & 7.5 \\ |
53 & Fehlerbeseitigung im File polyminus.sml & \\ \hline |
53 & Fehlerbeseitigung im File polyminus.sml & \\ \hline |
54 21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\ |
54 21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\ |
55 & Fehlerbeseitigung im File integrate.sml & \\ \hline |
55 & Fehlerbeseitigung im File integrate.sml & \\ \hline |
56 22.7.11 & Fehlersuche und Beseitigung (ISAC-Tests) & \\7.5 \hline |
56 22.7.11 & Fehlersuche in der File ``diffapp'' & 7.5 \\ |
57 25.7.11 & Fehlersuche und Beseitigung in der File diff.sml (ISAC-Tests) & 7.5\\ \hline |
57 & Beseitigung des Fehlers & \\ \hline |
58 26.7.11 & updaten des ``scr'' Directories & 7.5 \\ \hline |
58 25.7.11 & Fehlersuche in der File ``diff.sml'' & 7.5\\ |
59 & Fehlersuche im ``scr'' Directory& & |
59 & Fehlerbeseitigung in der File ``diff.sml``& \\\hline |
|
60 26.7.11 & updaten des ``scr'' Directories & 7.5 \\ |
|
61 & Fehlersuche im ``scr'' Directory & \\ \hline |
60 27.7.11 & updaten des ``scr'' Directories & 7.5 \\ |
62 27.7.11 & updaten des ``scr'' Directories & 7.5 \\ |
61 & Fehlerbehebung in den Files eqsystem.thy, atools.thy & & \hline |
63 & Fehlerbehebung in den Files eqsystem.thy, atools.thy & \\ \hline |
62 28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\ |
64 28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\ |
63 & Fertigstellung des Protokolls & \\ |
65 & Fertigstellung des Protokolls & \\ \hline |
64 29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\ |
66 29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\ |
65 \end{tabular} |
67 \end{tabular} |
66 \end{center} |
68 \end{center} |
67 \newpage |
69 \newpage |
68 \section{R\"uckblick auf das Praktikum} |
70 \section{R\"uckblick auf das Praktikum} |