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