wneuper/isa: doc-src/isac/jrocnik/present-2.tex@8b94d811cb41

     1 \documentclass[%

     2 %handout, % prints handouts (=no animations, for printed version)

     3 %mathserif

     4 %xcolor=pst,

     5 14pt

     6 % fleqn

     7 ]{beamer}

     9 \usepackage{beamerthemedefault}

    11 \useoutertheme[subsection=false]{smoothbars}

    12 \useinnertheme{circles}

    14 \setbeamercolor{block title}{fg=black,bg=gray}

    15 \setbeamercolor{block title alerted}{use=alerted text,fg=black,bg=alerted text.fg!75!bg}

    16 \setbeamercolor{block title example}{use=example text,fg=black,bg=example text.fg!75!bg}

    17 \setbeamercolor{block body}{parent=normal text,use=block title,bg=block title.bg!25!bg}

    18 \setbeamercolor{block body alerted}{parent=normal text,use=block title alerted,bg=block title alerted.bg!25!bg}

    19 \setbeamercolor{block body example}{parent=normal text,use=block title example,bg=block title example.bg!25!bg}

    21 %aktivate hyperlinks at the end

    22 %\usepackage{hyperref}

    24 \usepackage[english]{babel}

    25 \usepackage[utf8]{inputenc}

    26 \usepackage{array}

    27 \usepackage{setspace}

    29 \definecolor{tug}{rgb}{0.96862,0.14509,0.27450}

    31 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}

    32 \def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}

    34 \setbeamertemplate{headline}[text line]{

    35 	\begin{beamercolorbox}[wd=\paperwidth,ht=8ex,dp=4ex]{}

    36 		\insertnavigation{0.85\paperwidth}

    37 		\raisebox{-10pt}{\includegraphics[width=15mm]{tuglogo}}\vskip2pt

    38 		\hskip-1pt\rule{\paperwidth}{0.3pt}

    39 	\end{beamercolorbox}

    40 }

    42 \setbeamertemplate{navigation symbols}{}

    44 \definecolor{gray}{rgb}{0.8,0.8,0.8}

    45 \setbeamercolor{footline}{fg=black,bg=gray}

    47 % Fusszeile mit Autor, Titel und Foliennummer / Gesamtfolienzahl

    48 \setbeamertemplate{footline}[text line]{

    49 	\hskip-1pt

    50 	\begin{beamercolorbox}[wd=\paperwidth]{footline}

    51 			\rule{\paperwidth}{0.3pt}

    52 			\colorbox{tug}{\rule{3pt}{0pt}\rule{0pt}{3pt}}

    53 			\textbf{\rule{0pt}{5pt}\insertshortauthor\hfill\insertshortinstitute\hfill%

    54 					\insertshorttitle\rule{1em}{0pt}}

    55 			\rule{\paperwidth}{0.3pt}

    56 	\end{beamercolorbox}

    57 	\begin{beamercolorbox}[wd=\paperwidth,ht=2ex,dp=2ex]{white}

    58 	\end{beamercolorbox}

    59 }%

    61 %% Titelblatt-Einstellungen

    62 \institute[IST, SPSC]{Institute for Software Technology\\Institute of Signal Processing and Speech Communication\\Graz University of Technology}

    63 \title[ISAC for Signal Processing]{Interactive Course Material for\\ Signal Processing based on\\ Isabelle/\isac}

    64 \subtitle{Baccalaureate Thesis}

    65 \author{Jan Rocnik}

    66 \date{01.04.2012}

    68 % Subject and Keywords for PDF

    69 \subject{Final presentation of Bakk. Thesis}

    70 \keywords{isac, isabelle, ist, spsc, thesis, course material}

    72 \titlegraphic{\includegraphics[width=20mm]{tuglogo}}

    74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    75 \begin{document}

    76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    78 \begin{frame}[plain]

    79   \frametitle{}

    80   \titlepage

    81 \end{frame}

    85 \begin{frame}

    86   \frametitle{Contents}

    87         \tableofcontents[hideallsubsections %

    88                         % ,pausesections

    89                         ] % erzeugt Inhaltsverzeichnis

    90 \end{frame}

    92 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    93 \section{Introduction}

    94 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    96 \subsection{isabelle}

    97 \begin{frame}

    98 	\frametitle{What is isabelle?}

    99 	\begin{spacing}{1.5}

   100 	\begin{itemize}

   101 		\item Punkt 1

   102 		\item Punkt 2

   103 		\item Punkt 3

   104 	\end{itemize}

   105 	\end{spacing}

   106 \end{frame}

   108 \subsection{isac}

   109 \begin{frame}

   110 	\frametitle{What is isac?}

   111 	\begin{spacing}{1.5}

   112 	\begin{itemize}

   113 		\item Punkt 1

   114 		\item Punkt 2

   115 		\item Punkt 3

   116 	\end{itemize}

   117 	\end{spacing}

   118 \end{frame}

   121 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   122 \section{Thesis Definition}

   123 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   125 \begin{frame}

   126 	\frametitle{Definitions of the Baccalaureate Thesis}

   128 \end{frame}

   130 \subsection{issues}

   131 \begin{frame}

   132 	\frametitle{Accomplished Issues}

   134 \begin{itemize}

   135 	\item What knowledge is already mechanised in \emph{Isabelle}?

   136 	\item How can missing theorems and definitions be mechanised?

   137 	\item What is the effort for such mechanisation?

   138 	\item How do calculations look like, by using mechanised knowledge?

   139 	\item What problems and subproblems have to be solved?

   140 	\item Which problems are already implemented in {\sisac}?

   141 	\item How are the new problems specified ({\sisac})?

   142 	\item Which variantes of programms in {\sisac} solve the problems?

   143 	\item What is the contents of the interactiv course material (Figures, etc.)?

   144 \end{itemize}

   146 \end{frame}

   148 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   149 \section{Demo}

   150 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   152 \begin{frame}

   153 	\frametitle{Demonstration of ISAC}

   154 	\begin{spacing}{1.5}

   155 	\begin{itemize}

   156 		\item development environment

   157 		\item math assistant

   158 	\end{itemize}

   159 	\end{spacing}

   160 \end{frame}

   162 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   163 \section{Summary}

   164 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   166 \subsection{Accomplished}

   167 \begin{frame}

   168 	\frametitle{Accomplished}

   169 	\begin{itemize}

   170       \item partial fractions: theorems, specification, program

   171       \item inverse Z-transform with partial fractions: thm, spec, prog

   172       \item Isabelle theory indicating issues for {/sisac}-developers

   173 	\end{itemize}

   174 \end{frame}

   176 \subsection{Partially Accomplished}

   177 \begin{frame}

   178 	\frametitle{Partially Accomplished}

   179 	\begin{itemize}

   180      \item guidelines for future TP-programmers:\\

   181             development environment and programming language will be changed

   182      \item examples

   183 	\end{itemize}

   184 \end{frame}

   186 \subsection{Not Accomplished}

   187 \begin{frame}

   188 	\frametitle{Not Accomplished}

   189 	\begin{itemize}

   190     \item explanations, figures to examples, theorems, problems

   191     \item a sufficient number of implemented topics

   192     \item no support of labs and lectures in SP and SPSC

   193     \item no material for STEOP

   194 	\end{itemize}

   195 \end{frame}

   197 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   198 \section{Conclusion}

   199 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   201 \begin{frame}

   202 	\frametitle{Conculsion}

   203     TP-based programming language not ready for production programming fehler in eigener rechnung gefunden...

   204 \end{frame}

   206 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   207 \end{document}

   208 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   210 %% EOF

author	Jan Rocnik <jan.rocnik@student.tugraz.at>
	Wed, 07 Mar 2012 15:29:02 +0100
changeset 42381	8b94d811cb41
permissions	-rwxr-xr-x