diff -r 7f3760f39bdc -r f8845fc8f38d doc-isac/tleh/ferialprakt.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-isac/tleh/ferialprakt.tex	Tue Sep 17 09:50:52 2013 +0200
@@ -0,0 +1,96 @@
+\documentclass[a4paper,12pt]{article}
+%usepackage{ngerman}
+
+
+\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
+\def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
+
+\title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
+       der Technischen Universit\"at Graz\\
+       Arbeitsprotokoll}
+\author{Thomas Leh\\
+       t.leh@gmx.at}
+\date{\today}
+
+\begin{document}
+\maketitle
+
+\section{Pers\"ohnliche Zielsetzung}
+Im letzen Sommer vor der Maturaklasse wollte ich mich schon \"uber 
+Studienm\"oglichkeiten informieren. 
+Meine Interessen liegen im Bereich der Computerwissenschaften und ich war
+deshalb froh, die Praktikumsstelle bekommen zu haben.
+Dabei wollte ich Folgendes erzielen:
+\begin{itemize}\itemsep1pt
+\item Genereller Einblick in die Software-Entwicklung 
+\item Einblick ins Programmieren 
+\item Informationen \"uber die Studienrichtung Informatik auf der TU
+\item Arbeitserfahrung im Bereich der Informatik
+\end{itemize}
+\newpage
+\section{Arbeitsprotokoll}
+\begin{center}
+\begin{tabular}{l|l|r}
+Datum   & T\"atigkeit & Std. \\ \hline
+12.7.11
+ & Demonstration des ``educational math assistant \sisac'' &7.5 \\
+ & Demonstration des Theorem Provers Isabelle & \\
+ & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& \\
+ & Installation: Isabelle, \sisac-core, Mercurial & \\ \hline
+13.7.11 & Einf\"uhrung Latex und ML Basic & 7.5 \\
+ & Konfiguration von Mercurial & \\
+ & ML Basics \"Ubungen  &  \\\hline
+14.7.11 & Einf\"uhrung ML Functions und ML Combinators  &7.5 \\
+ &  \"Ubungen ML Functions und ML Combinators s & \\ \hline
+15.7.11&  Einf\"uhrung ML Datastructure  &7.5 \\ 
+ & Ml Datastructure \"Ubungen & \\
+ & Informationen \"uber Rewriting und MathEngine & \\  \hline
+18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests)  & 7.5 \\ 
+ & Fehlersuche im Directory ``Frontend'' &  \\ \hline
+19.7.11 & Fehlersuche im Directory ``Knowledge''   & 7.5 \\
+ & Uncommanding funktionierender Tests   & \\ \hline
+20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) &  7.5  \\
+ & Fehlerbeseitigung im File polyminus.sml  &  \\ \hline
+21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\
+ & Fehlerbeseitigung im File integrate.sml  &  \\ \hline
+22.7.11 & Fehlersuche in der File ``diffapp''   &  7.5 \\ 
+& Beseitigung des Fehlers   & \\ \hline
+25.7.11 & Fehlersuche  in der File ``diff.sml''  & 7.5\\ 
+& Fehlerbeseitigung in der File ``diff.sml``& \\\hline
+26.7.11 & updaten des ``scr'' Directories & 7.5  \\ 
+& Fehlersuche im ``scr'' Directory & \\ \hline
+27.7.11 & updaten des ``scr'' Directories  &  7.5 \\
+& Fehlerbehebung in den Files eqsystem.thy, atools.thy & \\  \hline
+28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\
+ & Fertigstellung des Protokolls  &   \\ \hline
+29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\
+\end{tabular}
+\end{center}
+\newpage
+\section{R\"uckblick auf das Praktikum}
+
+
+
+\paragraph{Im Bereich der Software-Entwicklung} wurden meine Erwartungen 
+erf\"ullt. Ich wei\ss \ jetzt wie bei einem gr\"o\ss eren Software-Projekt 
+gearbeitet wird und habe mich mit den Umgang mit der Versionsverwaltungssoftware
+Mercurial vertraut gemacht. Des weiteren wurde mir die wichtige Rolle von Tests in
+Software-Projekten bewusst gemacht.
+
+\paragraph{Von der Programmierung} habe ich mir einen gro\ss en \"Überblick
+ verschaffen k\"onnen. Dabei habe ich vorallem einiges zum Thema ``Funktionales 
+Programmieren (SML)'' erfahren und wurde mit dem Editor-Programm ``Jedit'' 
+vertraut gemacht.
+
+\paragraph{Informationen \"uber die Studienrichtungen der Informatik} konnte ich 
+auch gewinnen. Ich habe Zug\"ange bei tugonline in Erfahrung gebracht und habe 
+mich \"uber die Studienrichtungen Informatik, Telematik und Softwareentwicklung-
+Wirtschaft informiert.
+
+\paragraph{Arbeitserfahrung} konnte ich auch einige erlangen. Es herrschte eine 
+sehr komplexe, und vor allem ungewohnte Arbeitsumgebung (Linux,Mercurial,Isabelle)
+an die es sich zu gew\"ohnen galt. Es wurde mit mehreren dutzend Files mit einigen
+tausend Programmzeilen gearbeitet.
+
+
+\end{document}