doc-src/isac/akargl/ferialprakt.tex
author Alexander Kargl <akargl@brgkepler.net>
Tue, 26 Jul 2011 09:09:49 +0200
branchdecompose-isar
changeset 42188 f7b348d64d0c
parent 42181 77f1173be5c0
child 42209 a12b724f1d37
permissions -rw-r--r--
intermed: uncommented tests, updated protocoll
     1 \documentclass[a4paper,12pt]{article}
     2 \usepackage{ngerman}
     3 
     4 
     5 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
     6 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
     7 
     8 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
     9        der Technischen Universit\"at Graz\\ \ 
    10        \\Arbeitsprotokoll}
    11 \author{Alexander Kargl\\
    12        akargl@brgkepler.net}
    13 \date{\today}
    14 
    15 \begin{document}
    16 \maketitle
    17 
    18 \section{Urspr\"ungliche Erwartungen}
    19 TODO
    20 
    21 \section{Arbeitsprotokoll}
    22 \begin{center}
    23 \begin{tabular}{l|l|r}
    24 \textbf{Datum}   &\textbf{T\"atigkeit} & \textbf{Std.} \\ \hline
    25 12.7.2011
    26  & Demonstration des ``educational math assistant \sisac'' & 1.0\\
    27  & Demonstration des Theorem Provers Isabelle & 0.5\\
    28  & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\
    29  & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline
    30 13.7.2011
    31  & Einf\"uhrung Latex & 1.0 \\
    32  & Einf\"uhrung ML I & 1.5 \\
    33  & Konfiguration von Mercurial & 1.5 \\
    34  & ML-Programmierung/Einf\"uhrung & 3.5 \\ \hline
    35 14.7.2011
    36  & Einf\"uhrung ML II & 1.5 \\
    37  & Programmierung ML & 2.0 \\
    38  & Einf\"uhrung ML III & 1.0 \\
    39  & Erstellung v. Beispielen f\"ur Kombinatoren in ML & 3.0 \\ \hline
    40 15.7.2011
    41  & Einf\"uhrung ML/\sisac\  IV & 1.0 \\
    42  & ML- Programmierung & 2.5 \\
    43  & Einf\"uhrung ML/\sisac\  V & 1.0 \\
    44  & ML- Programmierung & 3.0 \\ \hline \hline
    45 18.7.2011
    46  & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
    47 19.7.2011
    48  & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
    49 20.7.2011
    50  & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
    51 21.7.2011
    52  & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
    53 22.7.2011
    54  & Information \"uber Studienrichtungen etc. & 1.0 \\
    55  & Fehlersuche/Debugging Isac-Tests & 6.5 \\ \hline \hline
    56 25.7.2011
    57  & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline 
    58 \end{tabular}
    59 \end{center}
    60 
    61 
    62 \section{R\"uckblick auf das Praktikum}
    63 TODO
    64 
    65 
    66 \end{document}