1.1 --- a/doc-src/isac/jrocnik/present-1.tex	Sun Jul 24 19:38:53 2011 +0200
     1.2 +++ b/doc-src/isac/jrocnik/present-1.tex	Mon Jul 25 17:43:07 2011 +0200
     1.3 @@ -77,7 +77,7 @@
     1.4  
     1.5  \begin{itemize}
     1.6  
     1.7 -\item What knowledge is already mechanised in \emph{isabelle}?
     1.8 +\item What knowledge is already mechanised in \emph{Isabelle}?
     1.9  \item How can missing theorems and definitions be mechanised?
    1.10  \item What is the effort for such mechanisation?
    1.11  \item How do calculations look like, by using mechanised knowledge?
    1.12 @@ -173,7 +173,7 @@
    1.13  \begin{itemize}
    1.14  
    1.15  \item Standard integrals can be solved with tables
    1.16 -\item No real integration (yet avaiible)
    1.17 +\item No real integration (yet avaible)
    1.18  \item Math \emph{tricks} difficult to implement
    1.19  
    1.20  
    1.21 @@ -185,13 +185,14 @@
    1.22  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.23  
    1.24  \section[LTI Systems]{LTI systems}
    1.25 -\subsection[Convolution]{Convolution}
    1.26 +\subsection[Convolution]{Convolution (Faltung)}
    1.27  
    1.28  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.29  %%												LTI INTRO				                       %%
    1.30  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.31  
    1.32  \begin{frame}\frametitle{Convolution: Introduction}
    1.33 +TODO!!!
    1.34  \begin{itemize}
    1.35  \item Calculation\ldots
    1.36  \item Visualisation\ldots
    1.37 @@ -218,7 +219,7 @@
    1.38  The two systems are cascaded seriell. Derive the impulse respinse of the overall system $h_c[n]$.
    1.39  
    1.40  \hrulefill
    1.41 -
    1.42 +???
    1.43  \begin{tabbing}
    1.44  1\=postcond \=: \= \= $\;\;\;\;$\=\kill
    1.45  \>given    \>:\>  Signals h1[n], h2[n] \\
    1.46 @@ -263,7 +264,7 @@
    1.47  \begin{itemize}
    1.48  
    1.49  \item Standard example
    1.50 -\item Straight foreward
    1.51 +\item Straight forward
    1.52  \item Challenge are sum limits
    1.53  
    1.54  \end{itemize}
    1.55 @@ -363,7 +364,7 @@
    1.56  %-----------------------------------------------------------------%
    1.57  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.58  
    1.59 -\section[Closing]{Closing}
    1.60 +\section[Conclusions]{Conclusions}
    1.61  
    1.62  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1.63  %--------------------------CONCLUSION-----------------------------%