1.1 --- a/doc-src/isac/tleh/ferialprakt.tex	Thu Jul 28 11:45:11 2011 +0200
     1.2 +++ b/doc-src/isac/tleh/ferialprakt.tex	Thu Jul 28 16:34:30 2011 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  \documentclass[a4paper,12pt]{article}
     1.5 -\usepackage{ngerman}
     1.6 +%usepackage{ngerman}
     1.7  
     1.8  
     1.9  \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    1.10 @@ -9,55 +9,86 @@
    1.11         der Technischen Universit\"at Graz\\
    1.12         Arbeitsprotokoll}
    1.13  \author{Thomas Leh\\
    1.14 -       xxx@yyy}
    1.15 +       t.leh@gmx.at}
    1.16  \date{\today}
    1.17  
    1.18  \begin{document}
    1.19  \maketitle
    1.20  
    1.21 -\section{Urspr\"ungliche Erwartungen}
    1.22 -TODO
    1.23 -
    1.24 +\section{Pers\"ohnliche Zielsetzung}
    1.25 +Im letzen Sommer vor der Maturaklasse wollte ich mich schon \"uber 
    1.26 +Studienm\"oglichkeiten informieren. 
    1.27 +Meine Interessen liegen im Bereich der Computerwissenschaften und ich war
    1.28 +deshalb froh, die Praktikumsstelle bekommen zu haben.
    1.29 +Dabei wollte ich Folgendes erzielen:
    1.30 +\begin{itemize}\itemsep1pt
    1.31 +\item Genereller Einblick in die Software-Entwicklung 
    1.32 +\item Einblick ins Programmieren 
    1.33 +\item Informationen \"uber die Studienrichtung Informatik auf der TU
    1.34 +\item Arbeitserfahrung im Bereich der Informatik
    1.35 +\end{itemize}
    1.36 +\newpage
    1.37  \section{Arbeitsprotokoll}
    1.38  \begin{center}
    1.39  \begin{tabular}{l|l|r}
    1.40  Datum   & T\"atigkeit & Std. \\ \hline
    1.41  12.7.11
    1.42 - & Demonstration des ``educational math assistant \sisac'' & 1.0\\
    1.43 - & Demonstration des Theorem Provers Isabelle & 0.5\\
    1.44 - & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\
    1.45 - & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline
    1.46 -13.7.11 &  & \\
    1.47 - &  & \\
    1.48 - &  & \\
    1.49 - &  & \\
    1.50 - &  & \\
    1.51 - &  & \\
    1.52 - &  & \\
    1.53 - &  & \\
    1.54 - &  & \\
    1.55 - &  & \\
    1.56 + & Demonstration des ``educational math assistant \sisac'' &7.5 \\
    1.57 + & Demonstration des Theorem Provers Isabelle & \\
    1.58 + & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& \\
    1.59 + & Installation: Isabelle, \sisac-core, Mercurial & \\ \hline
    1.60 +13.7.11 & Einf\"uhrung Latex und ML Basic & 7.5 \\
    1.61 + & Konfiguration von Mercurial & \\
    1.62 + & ML Basics \"Ubungen  &  \\\hline
    1.63 +14.7.11 & Einf\"uhrung ML Functions und ML Combinators  &7.5 \\
    1.64 + &  \"Ubungen ML Functions und ML Combinators s & \\ \hline
    1.65 +15.7.11&  Einf\"uhrung ML Datastructure  &7.5 \\ 
    1.66 + & Ml Datastructure \"Ubungen & \\
    1.67 + & Informationen \"uber Rewriting und MathEngine & \\  \hline
    1.68 +18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests)  & 7.5 \\ 
    1.69 + & Fehlersuche &  \\ \hline
    1.70 +19.7.11 & Fehlersuche im Directory ``Knowledge   & 7.5 \\
    1.71 + & Uncommanding funktionierender Tests &  & \hline
    1.72 +20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) &  7.5  \\
    1.73 + & Fehlerbeseitigung im File polyminus.sml  &  \\ \hline
    1.74 +21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\
    1.75 + & Fehlerbeseitigung im File integrate.sml  &  \\ \hline
    1.76 +22.7.11 & Fehlersuche und Beseitigung (ISAC-Tests) &   \\7.5 \hline
    1.77 +25.7.11 & Fehlersuche und Beseitigung in der File diff.sml (ISAC-Tests) & 7.5\\ \hline
    1.78 +26.7.11 & updaten des ``scr'' Directories & 7.5  \\ \hline
    1.79 +& Fehlersuche im ``scr'' Directory& &
    1.80 +27.7.11 & updaten des ``scr'' Directories  &  7.5 \\
    1.81 +& Fehlerbehebung in den Files eqsystem.thy, atools.thy &  & \hline
    1.82 +28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\
    1.83 + & Fertigstellung des Protokolls  &   \\
    1.84 +29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\
    1.85  \end{tabular}
    1.86  \end{center}
    1.87 +\newpage
    1.88 +\section{R\"uckblick auf das Praktikum}
    1.89  
    1.90 -\begin{center}
    1.91 -\begin{tabular}{l|l|r}
    1.92 -Datum   & T\"atigkeit & Std. \\ \hline
    1.93 -xx.7.11 &  & \\
    1.94 - &  & \\
    1.95 - &  & \\
    1.96 - &  & \\
    1.97 - &  & \\
    1.98 - &  & \\
    1.99 - &  & \\
   1.100 - &  & \\
   1.101 - &  & \\
   1.102 - &  & \\
   1.103 -\end{tabular}
   1.104 -\end{center}
   1.105  
   1.106 -\section{R\"uckblick auf das Praktikum}
   1.107 -TODO
   1.108 +
   1.109 +\paragraph{Im Bereich der Software-Entwicklung} wurden meine Erwartungen 
   1.110 +erf\"ullt. Ich wei\ss \ jetzt wie bei einem gr\"o\ss eren Software-Projekt 
   1.111 +gearbeitet wird und habe mich mit den Umgang mit der Versionsverwaltungssoftware
   1.112 +Mercurial vertraut gemacht. Des weiteren wurde mir die wichtige Rolle von Tests in
   1.113 +Software-Projekten bewusst gemacht.
   1.114 +
   1.115 +\paragraph{Von der Programmierung} habe ich mir einen gro\ss en \"Überblick
   1.116 + verschaffen k\"onnen. Dabei habe ich vorallem einiges zum Thema ``Funktionales 
   1.117 +Programmieren (SML)'' erfahren und wurde mit dem Editor-Programm ``Jedit'' 
   1.118 +vertraut gemacht.
   1.119 +
   1.120 +\paragraph{Informationen \"uber die Studienrichtungen der Informatik} konnte ich 
   1.121 +auch gewinnen. Ich habe Zug\"ange bei tugonline in Erfahrung gebracht und habe 
   1.122 +mich \"uber die Studienrichtungen Informatik, Telematik und Softwareentwicklung-
   1.123 +Wirtschaft informiert.
   1.124 +
   1.125 +\paragraph{Arbeitserfahrung} konnte ich auch einige erlangen. Es herrschte eine 
   1.126 +sehr komplexe, und vor allem ungewohnte Arbeitsumgebung (Linux,Mercurial,Isabelle)
   1.127 +an die es sich zu gew\"ohnen galt. Es wurde mit mehreren dutzend Files mit einigen
   1.128 +tausend Programmzeilen gearbeitet.
   1.129  
   1.130  
   1.131  \end{document}