1.1 --- a/doc-src/isac/jrocnik/present-1.tex	Mon Jul 25 17:55:25 2011 +0200
     1.2 +++ b/doc-src/isac/jrocnik/present-1.tex	Tue Jul 26 09:53:32 2011 +0200
     1.3 @@ -102,10 +102,14 @@
     1.4  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     1.5  
     1.6  \begin{frame}\frametitle{Fourier Transformation: Introduction}
     1.7 +Possibilities:
     1.8  \begin{itemize}
     1.9  \item Transform operation by using property-tables
    1.10  \item Transform operation by using integral
    1.11 -\item Important: Visualisation?!
    1.12 +\end{itemize}
    1.13 +Also Important:
    1.14 +\begin{itemize}
    1.15 +\item Visualisation?!
    1.16  \end{itemize}
    1.17  \end{frame}
    1.18  
    1.19 @@ -132,9 +136,7 @@
    1.20  \begin{tabbing}
    1.21  1\=postcond \=: \= \= $\;\;\;\;$\=\kill
    1.22  \>given    \>:\>  piecewise\_function \\
    1.23 -\>         \> \>  \>$(x (t::real), [(0,-\infty<t<1), (1,1\leq t\leq 3), (0, 3<t<\infty)])$\\
    1.24 -                        %?(iterativer) datentyp in Isabelle/HOL
    1.25 -\>         \> \>  translation $T=2$\\
    1.26 +\>         \> \>  \>$fun (x (t::real),\ x=1\ ((t>=-1)\ \&\ (t<=1)),\ x=0)$\\
    1.27  \>precond  \>:\>  TODO\\
    1.28  \>find     \>:\>  $X(j\cdot\omega)$\\
    1.29  \>postcond \>:\>  TODO\\
    1.30 @@ -192,14 +194,11 @@
    1.31  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.32  
    1.33  \begin{frame}\frametitle{Convolution: Introduction}
    1.34 -TODO!!!
    1.35  \begin{itemize}
    1.36 -\item Calculation\ldots
    1.37 -\item Visualisation\ldots
    1.38 +\item Calculation include sums
    1.39 +\item Demonstrative examples
    1.40 +\item Visualisation is important
    1.41  \end{itemize}
    1.42 -\begin{center}
    1.43 -\ldots of parallel filter structures
    1.44 -\end{center}
    1.45  \end{frame}
    1.46  
    1.47  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.48 @@ -219,12 +218,12 @@
    1.49  The two systems are cascaded seriell. Derive the impulse respinse of the overall system $h_c[n]$.
    1.50  
    1.51  \hrulefill
    1.52 -???
    1.53 +
    1.54  \begin{tabbing}
    1.55  1\=postcond \=: \= \= $\;\;\;\;$\=\kill
    1.56  \>given    \>:\>  Signals h1[n], h2[n] \\
    1.57 -\>         \> \>  \>((h1 (n::real),(3/5)\textasciicircum{}n\,u(n::real)),\,(h2 (n::real),(-2/3)\textasciicircum{}n\,u(n::real)))\\
    1.58 -                        %?(iterativer) datentyp in Isabelle/HOL
    1.59 +\>         \> \>  \>((h1[n]=(3/5)\textasciicircum{}n*u[n]),\,h2[n]=(-2/3)\textasciicircum{}n*u[n]))\\
    1.60 +                        
    1.61  \>precond  \>:\>  TODO\\
    1.62  \>find     \>:\>  $h1[n]\,*\,h2[n]$\\
    1.63  \>postcond \>:\>  TODO\\
    1.64 @@ -367,6 +366,16 @@
    1.65  \section[Conclusions]{Conclusions}
    1.66  
    1.67  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.68 +%--------------------------DEMONSTRATION--------------------------%
    1.69 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.70 +
    1.71 +\begin{frame}{Demonstration}
    1.72 +
    1.73 +\centering{Demonstration}
    1.74 +
    1.75 +\end{frame}
    1.76 +
    1.77 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.78  %--------------------------CONCLUSION-----------------------------%
    1.79  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.80