1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/isac/jrocnik/present-2.tex Wed Mar 07 15:29:02 2012 +0100
1.3 @@ -0,0 +1,210 @@
1.4 +\documentclass[%
1.5 +%handout, % prints handouts (=no animations, for printed version)
1.6 +%mathserif
1.7 +%xcolor=pst,
1.8 +14pt
1.9 +% fleqn
1.10 +]{beamer}
1.11 +
1.12 +\usepackage{beamerthemedefault}
1.13 +
1.14 +\useoutertheme[subsection=false]{smoothbars}
1.15 +\useinnertheme{circles}
1.16 +
1.17 +\setbeamercolor{block title}{fg=black,bg=gray}
1.18 +\setbeamercolor{block title alerted}{use=alerted text,fg=black,bg=alerted text.fg!75!bg}
1.19 +\setbeamercolor{block title example}{use=example text,fg=black,bg=example text.fg!75!bg}
1.20 +\setbeamercolor{block body}{parent=normal text,use=block title,bg=block title.bg!25!bg}
1.21 +\setbeamercolor{block body alerted}{parent=normal text,use=block title alerted,bg=block title alerted.bg!25!bg}
1.22 +\setbeamercolor{block body example}{parent=normal text,use=block title example,bg=block title example.bg!25!bg}
1.23 +
1.24 +%aktivate hyperlinks at the end
1.25 +%\usepackage{hyperref}
1.26 +
1.27 +\usepackage[english]{babel}
1.28 +\usepackage[utf8]{inputenc}
1.29 +\usepackage{array}
1.30 +\usepackage{setspace}
1.31 +
1.32 +\definecolor{tug}{rgb}{0.96862,0.14509,0.27450}
1.33 +
1.34 +\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
1.35 +\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
1.36 +
1.37 +\setbeamertemplate{headline}[text line]{
1.38 + \begin{beamercolorbox}[wd=\paperwidth,ht=8ex,dp=4ex]{}
1.39 + \insertnavigation{0.85\paperwidth}
1.40 + \raisebox{-10pt}{\includegraphics[width=15mm]{tuglogo}}\vskip2pt
1.41 + \hskip-1pt\rule{\paperwidth}{0.3pt}
1.42 + \end{beamercolorbox}
1.43 +}
1.44 +
1.45 +\setbeamertemplate{navigation symbols}{}
1.46 +
1.47 +\definecolor{gray}{rgb}{0.8,0.8,0.8}
1.48 +\setbeamercolor{footline}{fg=black,bg=gray}
1.49 +
1.50 +% Fusszeile mit Autor, Titel und Foliennummer / Gesamtfolienzahl
1.51 +\setbeamertemplate{footline}[text line]{
1.52 + \hskip-1pt
1.53 + \begin{beamercolorbox}[wd=\paperwidth]{footline}
1.54 + \rule{\paperwidth}{0.3pt}
1.55 + \colorbox{tug}{\rule{3pt}{0pt}\rule{0pt}{3pt}}
1.56 + \textbf{\rule{0pt}{5pt}\insertshortauthor\hfill\insertshortinstitute\hfill%
1.57 + \insertshorttitle\rule{1em}{0pt}}
1.58 + \rule{\paperwidth}{0.3pt}
1.59 + \end{beamercolorbox}
1.60 + \begin{beamercolorbox}[wd=\paperwidth,ht=2ex,dp=2ex]{white}
1.61 + \end{beamercolorbox}
1.62 +}%
1.63 +
1.64 +%% Titelblatt-Einstellungen
1.65 +\institute[IST, SPSC]{Institute for Software Technology\\Institute of Signal Processing and Speech Communication\\Graz University of Technology}
1.66 +\title[ISAC for Signal Processing]{Interactive Course Material for\\ Signal Processing based on\\ Isabelle/\isac}
1.67 +\subtitle{Baccalaureate Thesis}
1.68 +\author{Jan Rocnik}
1.69 +\date{01.04.2012}
1.70 +
1.71 +% Subject and Keywords for PDF
1.72 +\subject{Final presentation of Bakk. Thesis}
1.73 +\keywords{isac, isabelle, ist, spsc, thesis, course material}
1.74 +
1.75 +\titlegraphic{\includegraphics[width=20mm]{tuglogo}}
1.76 +
1.77 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.78 +\begin{document}
1.79 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.80 +
1.81 +\begin{frame}[plain]
1.82 + \frametitle{}
1.83 + \titlepage
1.84 +\end{frame}
1.85 +
1.86 +
1.87 +
1.88 +\begin{frame}
1.89 + \frametitle{Contents}
1.90 + \tableofcontents[hideallsubsections %
1.91 + % ,pausesections
1.92 + ] % erzeugt Inhaltsverzeichnis
1.93 +\end{frame}
1.94 +
1.95 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.96 +\section{Introduction}
1.97 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.98 +
1.99 +\subsection{isabelle}
1.100 +\begin{frame}
1.101 + \frametitle{What is isabelle?}
1.102 + \begin{spacing}{1.5}
1.103 + \begin{itemize}
1.104 + \item Punkt 1
1.105 + \item Punkt 2
1.106 + \item Punkt 3
1.107 + \end{itemize}
1.108 + \end{spacing}
1.109 +\end{frame}
1.110 +
1.111 +\subsection{isac}
1.112 +\begin{frame}
1.113 + \frametitle{What is isac?}
1.114 + \begin{spacing}{1.5}
1.115 + \begin{itemize}
1.116 + \item Punkt 1
1.117 + \item Punkt 2
1.118 + \item Punkt 3
1.119 + \end{itemize}
1.120 + \end{spacing}
1.121 +\end{frame}
1.122 +
1.123 +
1.124 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.125 +\section{Thesis Definition}
1.126 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.127 +
1.128 +\begin{frame}
1.129 + \frametitle{Definitions of the Baccalaureate Thesis}
1.130 +
1.131 +\end{frame}
1.132 +
1.133 +\subsection{issues}
1.134 +\begin{frame}
1.135 + \frametitle{Accomplished Issues}
1.136 +
1.137 +\begin{itemize}
1.138 + \item What knowledge is already mechanised in \emph{Isabelle}?
1.139 + \item How can missing theorems and definitions be mechanised?
1.140 + \item What is the effort for such mechanisation?
1.141 + \item How do calculations look like, by using mechanised knowledge?
1.142 + \item What problems and subproblems have to be solved?
1.143 + \item Which problems are already implemented in {\sisac}?
1.144 + \item How are the new problems specified ({\sisac})?
1.145 + \item Which variantes of programms in {\sisac} solve the problems?
1.146 + \item What is the contents of the interactiv course material (Figures, etc.)?
1.147 +\end{itemize}
1.148 +
1.149 +\end{frame}
1.150 +
1.151 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.152 +\section{Demo}
1.153 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.154 +
1.155 +\begin{frame}
1.156 + \frametitle{Demonstration of ISAC}
1.157 + \begin{spacing}{1.5}
1.158 + \begin{itemize}
1.159 + \item development environment
1.160 + \item math assistant
1.161 + \end{itemize}
1.162 + \end{spacing}
1.163 +\end{frame}
1.164 +
1.165 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.166 +\section{Summary}
1.167 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.168 +
1.169 +\subsection{Accomplished}
1.170 +\begin{frame}
1.171 + \frametitle{Accomplished}
1.172 + \begin{itemize}
1.173 + \item partial fractions: theorems, specification, program
1.174 + \item inverse Z-transform with partial fractions: thm, spec, prog
1.175 + \item Isabelle theory indicating issues for {/sisac}-developers
1.176 + \end{itemize}
1.177 +\end{frame}
1.178 +
1.179 +\subsection{Partially Accomplished}
1.180 +\begin{frame}
1.181 + \frametitle{Partially Accomplished}
1.182 + \begin{itemize}
1.183 + \item guidelines for future TP-programmers:\\
1.184 + development environment and programming language will be changed
1.185 + \item examples
1.186 + \end{itemize}
1.187 +\end{frame}
1.188 +
1.189 +\subsection{Not Accomplished}
1.190 +\begin{frame}
1.191 + \frametitle{Not Accomplished}
1.192 + \begin{itemize}
1.193 + \item explanations, figures to examples, theorems, problems
1.194 + \item a sufficient number of implemented topics
1.195 + \item no support of labs and lectures in SP and SPSC
1.196 + \item no material for STEOP
1.197 + \end{itemize}
1.198 +\end{frame}
1.199 +
1.200 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.201 +\section{Conclusion}
1.202 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.203 +
1.204 +\begin{frame}
1.205 + \frametitle{Conculsion}
1.206 + TP-based programming language not ready for production programming fehler in eigener rechnung gefunden...
1.207 +\end{frame}
1.208 +
1.209 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.210 +\end{document}
1.211 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.212 +
1.213 +%% EOF
1.214 \ No newline at end of file