|
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 %%------------------------------------------------------------ |
|
6 |
|
7 \graphicspath{{images/}} % wo liegen die Bilder? |
|
8 \bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change |
|
9 |
|
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}} |
|
13 |
|
14 %%%---------------------------------------------------------- |
|
15 \begin{document} |
|
16 %%%---------------------------------------------------------- |
|
17 |
|
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 } |
|
33 |
|
34 %%%---------------------------------------------------------- |
|
35 \frontmatter |
|
36 \maketitle |
|
37 \tableofcontents |
|
38 %%%---------------------------------------------------------- |
|
39 |
|
40 % \include{declaration} |
|
41 \include{preface} |
|
42 \include{abstract} |
|
43 \include{kurzfassung} |
|
44 |
|
45 %%%---------------------------------------------------------- |
|
46 \mainmatter % Hauptteil (ab hier arab. Seitenzahlen) |
|
47 %%%---------------------------------------------------------- |
|
48 |
|
49 \include{introduction} |
|
50 \include{fundamentals} |
|
51 \include{funproglangs_mcsystems} |
|
52 \include{isabelle_isac} |
|
53 \include{conclusion} |
|
54 |
|
55 %%%---------------------------------------------------------- |
|
56 %%%Anhang |
|
57 \appendix |
|
58 \include{appendix_a} |
|
59 |
|
60 %%%---------------------------------------------------------- |
|
61 \MakeBibliography |
|
62 %%%---------------------------------------------------------- |
|
63 |
|
64 %%%Messbox zur Druckkontrolle |
|
65 \include{messbox} |
|
66 |
|
67 \end{document} |