# HG changeset patch # User Thomas Leh # Date 1311863670 -7200 # Node ID c7fb6e2a40a9959a372d44b1c40f2486e3ad1d41 # Parent d98e8f3ddb6ac92645512e650aaa5756a483d65d tuned diff -r d98e8f3ddb6a -r c7fb6e2a40a9 doc-src/isac/tleh/ferialprakt.tex --- a/doc-src/isac/tleh/ferialprakt.tex Thu Jul 28 11:45:11 2011 +0200 +++ b/doc-src/isac/tleh/ferialprakt.tex Thu Jul 28 16:34:30 2011 +0200 @@ -1,5 +1,5 @@ \documentclass[a4paper,12pt]{article} -\usepackage{ngerman} +%usepackage{ngerman} \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} @@ -9,55 +9,86 @@ der Technischen Universit\"at Graz\\ Arbeitsprotokoll} \author{Thomas Leh\\ - xxx@yyy} + t.leh@gmx.at} \date{\today} \begin{document} \maketitle -\section{Urspr\"ungliche Erwartungen} -TODO - +\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'' & 1.0\\ - & Demonstration des Theorem Provers Isabelle & 0.5\\ - & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\ - & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline -13.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 & \\ \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 und Beseitigung (ISAC-Tests) & \\7.5 \hline +25.7.11 & Fehlersuche und Beseitigung in der File diff.sml (ISAC-Tests) & 7.5\\ \hline +26.7.11 & updaten des ``scr'' Directories & 7.5 \\ \hline +& Fehlersuche im ``scr'' Directory& & +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 & \\ +29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\ \end{tabular} \end{center} +\newpage +\section{R\"uckblick auf das Praktikum} -\begin{center} -\begin{tabular}{l|l|r} -Datum & T\"atigkeit & Std. \\ \hline -xx.7.11 & & \\ - & & \\ - & & \\ - & & \\ - & & \\ - & & \\ - & & \\ - & & \\ - & & \\ - & & \\ -\end{tabular} -\end{center} -\section{R\"uckblick auf das Praktikum} -TODO + +\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}