| author | Jan Rocnik <jan.rocnik@student.tugraz.at> |
| Thu, 01 Sep 2011 22:08:54 +0200 | |
| branch | decompose-isar |
| changeset 42235 | 9b6c0e738a64 |
| parent 42175 | 97b5b13937e1 |
| child 42240 | eba38ce7d1aa |
| permissions | -rwxr-xr-x |
| neuper@42073 | 1 |
\documentclass[a4paper,12pt]{article}
|
| jan@42235 | 2 |
|
| jan@42235 | 3 |
\usepackage[german]{babel}
|
| jan@42235 | 4 |
\usepackage[T1]{fontenc}
|
| jan@42235 | 5 |
\usepackage[latin1]{inputenc}
|
| jan@42235 | 6 |
|
| neuper@42073 | 7 |
\usepackage{graphicx}
|
| jan@42235 | 8 |
|
| neuper@42073 | 9 |
\bibliographystyle{alpha}
|
| neuper@42073 | 10 |
|
| neuper@42073 | 11 |
\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
|
| neuper@42073 | 12 |
\def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
|
| neuper@42073 | 13 |
|
| neuper@42073 | 14 |
\begin{document}
|
| neuper@42073 | 15 |
|
| jan@42235 | 16 |
\title{
|
| jan@42235 | 17 |
\Large{
|
| jan@42235 | 18 |
\bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\~\\ |
| jan@42235 | 19 |
} |
| jan@42235 | 20 |
\sisac-Projektteam des Instituts für Softwaretechnologie,\\Technische Universität Graz\\ |
| jan@42235 | 21 |
\vspace{0.7cm}
|
| jan@42235 | 22 |
\large{
|
| jan@42235 | 23 |
Betreuer: Dr. Walther Neuper |
| jan@42235 | 24 |
} |
| jan@42235 | 25 |
} |
| jan@42235 | 26 |
\author{Jan Simon Rocnik\\{\tt jan.rocnik@student.tugraz.at}}
|
| jan@42235 | 27 |
|
| jan@42235 | 28 |
\date{\today}
|
| neuper@42073 | 29 |
\maketitle |
| neuper@42073 | 30 |
\clearpage |
| neuper@42073 | 31 |
\tableofcontents |
| neuper@42073 | 32 |
\clearpage |
| neuper@42073 | 33 |
|
| neuper@42073 | 34 |
|
| neuper@42073 | 35 |
\section{Zur Aufgabenstellung}
|
| neuper@42073 | 36 |
|
| jan@42235 | 37 |
todo |
| neuper@42073 | 38 |
|
| neuper@42073 | 39 |
\section{Planung des Projektes}
|
| neuper@42073 | 40 |
|
| jan@42235 | 41 |
todo |
| neuper@42073 | 42 |
|
| jan@42235 | 43 |
\subsection{Zeitplanung des Projekt}
|
| jan@42235 | 44 |
Die Planung des Projekts teilt sich in folgende Iterationen: |
| neuper@42073 | 45 |
\begin{enumerate}
|
| jan@42235 | 46 |
\item \textbf{Sammeln von Informationen über Themengebite und deren Realisierbarkeit } (29.06. -- 27.07.)
|
| jan@42235 | 47 |
\item \textbf{1. Präsentation - Auswählen der realisierbaren Themengebiete} (27.07.)
|
| jan@42235 | 48 |
\item \textbf{Ausarbeiten der Aufgaben in \isac} (01.09. -- 11.11.)
|
| jan@42235 | 49 |
\item \textbf{Dokumentation der Aufgaben} (14.11. -- 02.12.)
|
| jan@42235 | 50 |
\item \textbf{Ausarbeitung in Latex, Bakkarbeit} (05.12. -- todo)
|
| jan@42235 | 51 |
\item \textbf{2. Präsentation - Abschluss der Arbeit} (todo)
|
| neuper@42073 | 52 |
\end{enumerate}
|
| neuper@42073 | 53 |
|
| jan@42235 | 54 |
\section{Konzepte und Lösungen}
|
| jan@42235 | 55 |
todo |
| neuper@42073 | 56 |
\section{Beschreibung der Meilensteine}\label{ms-desc}
|
| jan@42235 | 57 |
todo |
| neuper@42073 | 58 |
\section{Bericht zum Projektverlauf}
|
| jan@42235 | 59 |
todo |
| jan@42235 | 60 |
\section{Abschliesende Bemerkungen}
|
| jan@42235 | 61 |
todo |
| neuper@42073 | 62 |
|
| neuper@42073 | 63 |
\clearpage |
| neuper@42073 | 64 |
|
| neuper@42073 | 65 |
\bibliography{bib}
|
| neuper@42073 | 66 |
|
| neuper@42073 | 67 |
\clearpage |
| neuper@42073 | 68 |
|
| neuper@42073 | 69 |
\appendix |
| neuper@42073 | 70 |
%\section*{Anhang}
|
| neuper@42073 | 71 |
\section{Demobeispiel}\label{demo-code}
|
| neuper@42073 | 72 |
\begin{verbatim}
|
| neuper@42073 | 73 |
|
| jan@42235 | 74 |
bsp |
| neuper@42073 | 75 |
|
| neuper@42073 | 76 |
\end{verbatim}
|
| neuper@42073 | 77 |
|
| neuper@42073 | 78 |
\section{Stundenliste}
|
| neuper@42073 | 79 |
|
| neuper@42073 | 80 |
\subsection*{Voraussetzungen zum Arbeitsbeginn schaffen}
|
| neuper@42073 | 81 |
\begin{tabular}[t]{lll}
|
| neuper@42073 | 82 |
{\bf Datum} & {\bf Stunden} & {\bf Beschreibung} \\
|
| neuper@42073 | 83 |
10.02.2011 & 2:00 & Besprechung der Problemstellung \\ |
| neuper@42073 | 84 |
\end{tabular}
|
| neuper@42073 | 85 |
|
| neuper@42073 | 86 |
|
| neuper@42073 | 87 |
\end{document}
|