equal
deleted
inserted
replaced
20 |
20 |
21 \title{ |
21 \title{ |
22 \Large{ |
22 \Large{ |
23 \bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\~\\ |
23 \bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\~\\ |
24 } |
24 } |
25 \sisac-Projektteam des Instituts für Softwaretechnologie,\\Technische Universität Graz\\ |
25 \sisac-Team of the Institute for Software Technology,\\~\\ |
|
26 in Cooperation with the Institute of Signal Processing and Speech Communication\\~\\ |
|
27 Graz University of Technology\\ |
26 \vspace{0.7cm} |
28 \vspace{0.7cm} |
27 \large{ |
29 \large{ |
28 Betreuer: Dr. Walther Neuper |
30 Advisor: tba |
29 } |
31 } |
30 } |
32 } |
31 \author{Jan Simon Rocnik\\{\tt jan.rocnik@student.tugraz.at}} |
33 \author{Jan Simon Rocnik\\{\tt jan.rocnik@student.tugraz.at}} |
32 |
34 |
33 \date{\today} |
35 \date{\today} |
132 |
134 |
133 f x = why not f(x) ?!?! |
135 f x = why not f(x) ?!?! |
134 |
136 |
135 ... |
137 ... |
136 |
138 |
|
139 terms are not full simplified in traditional notations, in isac we have to simplify them complete to check weather results are compatible or not. in e.g. the solutions of an second order linear equation is an rational in isac but in tradition we keep fractions as long as possible and as long as they are 'beautiful' (1/8, 5/16,...) |
|
140 |
137 \section{Implementation of Certain SP Problems} |
141 \section{Implementation of Certain SP Problems} |
138 todo |
142 todo |
139 |
143 |
140 \subsection{Formal Specification of Problems} |
144 \subsection{Formal Specification of Problems} |
141 todo |
145 todo |
172 |
176 |
173 \appendix |
177 \appendix |
174 %\section*{Anhang} |
178 %\section*{Anhang} |
175 \section{Demobeispiel} |
179 \section{Demobeispiel} |
176 |
180 |
177 \input{./Inverse_Z_Transform/document/Inverse_Z_Transform.tex} |
181 %\input{./Inverse_Z_Transform/document/Inverse_Z_Transform.tex} |
178 |
182 |
179 \begin{verbatim} |
183 \begin{verbatim} |
180 |
184 |
181 bsp |
185 bsp |
182 |
186 |