wneuper/isa: doc-src/isac/tleh/ferialprakt.tex@b5a91fb4330c

     1 \documentclass[a4paper,12pt]{article}

     2 \usepackage{ngerman}

     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}$}

     8 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\

     9        der Technischen Universit\"at Graz\\

    10        Arbeitsprotokoll}

    11 \author{Thomas Leh\\

    12        xxx@yyy}

    13 \date{\today}

    15 \begin{document}

    16 \maketitle

    18 \section{Urspr\"ungliche Erwartungen}

    19 TODO

    21 \section{Arbeitsprotokoll}

    22 \begin{center}

    23 \begin{tabular}{l|l|r}

    24 Datum   & T\"atigkeit & Std. \\ \hline

    25 12.7.11

    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.11 &  & \\

    31  &  & \\

    32  &  & \\

    33  &  & \\

    34  &  & \\

    35  &  & \\

    36  &  & \\

    37  &  & \\

    38  &  & \\

    39  &  & \\

    40 \end{tabular}

    41 \end{center}

    43 \begin{center}

    44 \begin{tabular}{l|l|r}

    45 Datum   & T\"atigkeit & Std. \\ \hline

    46 xx.7.11 &  & \\

    47  &  & \\

    48  &  & \\

    49  &  & \\

    50  &  & \\

    51  &  & \\

    52  &  & \\

    53  &  & \\

    54  &  & \\

    55  &  & \\

    56 \end{tabular}

    57 \end{center}

    59 \section{R\"uckblick auf das Praktikum}

    60 TODO

    63 \end{document}

author	Walther Neuper <neuper@ist.tugraz.at>
	Wed, 13 Jul 2011 10:41:17 +0200
branch	decompose-isar
changeset 42081	b5a91fb4330c
child 42229	c7fb6e2a40a9
permissions	-rw-r--r--