1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-isac/mlehnfeld/master/thesis/thesis.tex Wed Mar 12 17:43:22 2014 +0100
1.3 @@ -0,0 +1,67 @@
1.4 +\documentclass[master,english]{hgbthesis}
1.5 +% Zulässige Class Options:
1.6 +% Typ der Arbeit: diplom, master (default), bachelor, praktikum
1.7 +% Hauptsprache: german (default), english
1.8 +%%------------------------------------------------------------
1.9 +
1.10 +\graphicspath{{images/}} % wo liegen die Bilder?
1.11 +\bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change
1.12 +
1.13 +\newcommand{\isac}{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
1.14 +\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
1.15 +\newcommand{\isabelle}{{\it Isabelle}}
1.16 +
1.17 +%%%----------------------------------------------------------
1.18 +\begin{document}
1.19 +%%%----------------------------------------------------------
1.20 +
1.21 +% Einträge für ALLE Arbeiten: --------------------------------
1.22 +\title{Introducing Parallelism and Concurrency in an Educational Mathematics System using Functional Programming}
1.23 +\author{Mathias Lehnfeld}
1.24 +\studiengang{Interactive Media}
1.25 +\studienort{Hagenberg}
1.26 +\abgabedatum{2014}{06}{18} % {YYYY}{MM}{DD}
1.27 +\betreuer{Mag. Volker Christian} % oder \betreuerin{..}
1.28 +\betreuer{Dr. Walther Neuper} % oder \betreuerin{..}
1.29 +\firma{
1.30 + Institut für Informationssysteme und Computer Medien (IICM)\\
1.31 + Fakultät für Informatik - Technische Universität Graz\\
1.32 + \\
1.33 + Inffeldgasse 16c\\
1.34 + 8010 Graz - Österreich - Europa
1.35 +}
1.36 +
1.37 +%%%----------------------------------------------------------
1.38 +\frontmatter
1.39 +\maketitle
1.40 +\tableofcontents
1.41 +%%%----------------------------------------------------------
1.42 +
1.43 +% \include{declaration}
1.44 +\include{preface}
1.45 +\include{abstract}
1.46 +\include{kurzfassung}
1.47 +
1.48 +%%%----------------------------------------------------------
1.49 +\mainmatter % Hauptteil (ab hier arab. Seitenzahlen)
1.50 +%%%----------------------------------------------------------
1.51 +
1.52 +\include{introduction}
1.53 +\include{fundamentals}
1.54 +\include{funproglangs_mcsystems}
1.55 +\include{isabelle_isac}
1.56 +\include{conclusion}
1.57 +
1.58 +%%%----------------------------------------------------------
1.59 +%%%Anhang
1.60 +\appendix
1.61 +\include{appendix_a}
1.62 +
1.63 +%%%----------------------------------------------------------
1.64 +\MakeBibliography
1.65 +%%%----------------------------------------------------------
1.66 +
1.67 +%%%Messbox zur Druckkontrolle
1.68 +\include{messbox}
1.69 +
1.70 +\end{document}