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}