| 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-- |
| s1210629013@55404 | 1 |
\documentclass[master,english]{hgbthesis}
|
| s1210629013@55404 | 2 |
% Zulässige Class Options: |
| s1210629013@55404 | 3 |
% Typ der Arbeit: diplom, master (default), bachelor, praktikum |
| s1210629013@55404 | 4 |
% Hauptsprache: german (default), english |
| s1210629013@55404 | 5 |
%%------------------------------------------------------------ |
| s1210629013@55404 | 6 |
|
| s1210629013@55404 | 7 |
\graphicspath{{images/}} % wo liegen die Bilder?
|
| s1210629013@55404 | 8 |
\bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change
|
| s1210629013@55404 | 9 |
|
| s1210629013@55404 | 10 |
\newcommand{\isac}{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
|
| s1210629013@55404 | 11 |
\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
|
| s1210629013@55404 | 12 |
\newcommand{\isabelle}{{\it Isabelle}}
|
| s1210629013@55404 | 13 |
|
| s1210629013@55404 | 14 |
%%%---------------------------------------------------------- |
| s1210629013@55404 | 15 |
\begin{document}
|
| s1210629013@55404 | 16 |
%%%---------------------------------------------------------- |
| s1210629013@55404 | 17 |
|
| s1210629013@55404 | 18 |
% Einträge für ALLE Arbeiten: -------------------------------- |
| s1210629013@55404 | 19 |
\title{Introducing Parallelism and Concurrency in an Educational Mathematics System using Functional Programming}
|
| s1210629013@55404 | 20 |
\author{Mathias Lehnfeld}
|
| s1210629013@55404 | 21 |
\studiengang{Interactive Media}
|
| s1210629013@55404 | 22 |
\studienort{Hagenberg}
|
| s1210629013@55404 | 23 |
\abgabedatum{2014}{06}{18} % {YYYY}{MM}{DD}
|
| s1210629013@55404 | 24 |
\betreuer{Mag. Volker Christian} % oder \betreuerin{..}
|
| s1210629013@55404 | 25 |
\betreuer{Dr. Walther Neuper} % oder \betreuerin{..}
|
| s1210629013@55404 | 26 |
\firma{
|
| s1210629013@55404 | 27 |
Institut für Informationssysteme und Computer Medien (IICM)\\ |
| s1210629013@55404 | 28 |
Fakultät für Informatik - Technische Universität Graz\\ |
| s1210629013@55404 | 29 |
\\ |
| s1210629013@55404 | 30 |
Inffeldgasse 16c\\ |
| s1210629013@55404 | 31 |
8010 Graz - Österreich - Europa |
| s1210629013@55404 | 32 |
} |
| s1210629013@55404 | 33 |
|
| s1210629013@55404 | 34 |
%%%---------------------------------------------------------- |
| s1210629013@55404 | 35 |
\frontmatter |
| s1210629013@55404 | 36 |
\maketitle |
| s1210629013@55404 | 37 |
\tableofcontents |
| s1210629013@55404 | 38 |
%%%---------------------------------------------------------- |
| s1210629013@55404 | 39 |
|
| s1210629013@55404 | 40 |
% \include{declaration}
|
| s1210629013@55404 | 41 |
\include{preface}
|
| s1210629013@55404 | 42 |
\include{abstract}
|
| s1210629013@55404 | 43 |
\include{kurzfassung}
|
| s1210629013@55404 | 44 |
|
| s1210629013@55404 | 45 |
%%%---------------------------------------------------------- |
| s1210629013@55404 | 46 |
\mainmatter % Hauptteil (ab hier arab. Seitenzahlen) |
| s1210629013@55404 | 47 |
%%%---------------------------------------------------------- |
| s1210629013@55404 | 48 |
|
| s1210629013@55404 | 49 |
\include{introduction}
|
| s1210629013@55404 | 50 |
\include{fundamentals}
|
| s1210629013@55404 | 51 |
\include{funproglangs_mcsystems}
|
| s1210629013@55404 | 52 |
\include{isabelle_isac}
|
| s1210629013@55404 | 53 |
\include{conclusion}
|
| s1210629013@55404 | 54 |
|
| s1210629013@55404 | 55 |
%%%---------------------------------------------------------- |
| s1210629013@55404 | 56 |
%%%Anhang |
| s1210629013@55404 | 57 |
\appendix |
| s1210629013@55404 | 58 |
\include{appendix_a}
|
| s1210629013@55404 | 59 |
|
| s1210629013@55404 | 60 |
%%%---------------------------------------------------------- |
| s1210629013@55404 | 61 |
\MakeBibliography |
| s1210629013@55404 | 62 |
%%%---------------------------------------------------------- |
| s1210629013@55404 | 63 |
|
| s1210629013@55404 | 64 |
%%%Messbox zur Druckkontrolle |
| s1210629013@55404 | 65 |
\include{messbox}
|
| s1210629013@55404 | 66 |
|
| s1210629013@55404 | 67 |
\end{document}
|