wneuper/isa: doc-isac/mlehnfeld/master/thesis/thesis.tex@ab97437e021a

     1 \documentclass[master,english]{hgbthesis}

     2 % Zulässige Class Options:

     3 %   Typ der Arbeit: diplom, master (default), bachelor, praktikum

     4 %   Hauptsprache: german (default), english

     5 %%------------------------------------------------------------

     7 \graphicspath{{images/}}    % wo liegen die Bilder?

     8 \bibliography{literature}  	% Angabe der BibTeX-Datei, % utf8-change

    10 \newcommand{\isac}{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}

    11 \def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}

    12 \newcommand{\isabelle}{{\it Isabelle}}

    14 %%%----------------------------------------------------------

    15 \begin{document}

    16 %%%----------------------------------------------------------

    18 % Einträge für ALLE Arbeiten: --------------------------------

    19 \title{Introducing Parallelism and Concurrency in an Educational Mathematics System using Functional Programming}

    20 \author{Mathias Lehnfeld}

    21 \studiengang{Interactive Media}

    22 \studienort{Hagenberg}

    23 \abgabedatum{2014}{06}{18}	% {YYYY}{MM}{DD}

    24 \betreuer{Mag. Volker Christian} % oder \betreuerin{..}

    25 \betreuer{Dr. Walther Neuper} % oder \betreuerin{..}

    26 \firma{

    27    Institut für Informationssysteme und Computer Medien (IICM)\\

    28    Fakultät für Informatik - Technische Universität Graz\\

    29    \\

    30    Inffeldgasse 16c\\

    31    8010 Graz - Österreich - Europa

    32 }

    34 %%%----------------------------------------------------------

    35 \frontmatter

    36 \maketitle

    37 \tableofcontents

    38 %%%----------------------------------------------------------

    40 % \include{declaration}

    41 \include{preface}

    42 \include{abstract}

    43 \include{kurzfassung}

    45 %%%----------------------------------------------------------

    46 \mainmatter         % Hauptteil (ab hier arab. Seitenzahlen)

    47 %%%----------------------------------------------------------

    49 \include{introduction}

    50 \include{fundamentals}

    51 \include{funproglangs_mcsystems}

    52 \include{isabelle_isac}

    53 \include{conclusion}

    55 %%%----------------------------------------------------------

    56 %%%Anhang

    57 \appendix

    58 \include{appendix_a}

    60 %%%----------------------------------------------------------

    61 \MakeBibliography

    62 %%%----------------------------------------------------------

    64 %%%Messbox zur Druckkontrolle

    65 \include{messbox}

    67 \end{document}

author	Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at>
	Wed, 12 Mar 2014 17:43:22 +0100
changeset 55404	ab97437e021a
child 55466	55c2d2ee3f92
permissions	-rw-r--r--