
diff -r 7c6ede445285 -r 2768aa42a383 doc-src/isac/jrocnik/jrocnik_cadgme.tex
--- a/doc-src/isac/jrocnik/jrocnik_cadgme.tex	Wed Jun 20 11:14:04 2012 +0200
+++ b/doc-src/isac/jrocnik/jrocnik_cadgme.tex	Thu Jun 21 20:48:36 2012 +0200
@@ -10,9 +10,10 @@
 
 \usepackage{color}
 \definecolor{lgray}{RGB}{238,238,238}
+\definecolor{gray}{rgb}{0.8,0.8,0.8}
 
 \useoutertheme[subsection=false]{smoothbars}
-\useinnertheme{circles}
+%\useinnertheme{circles}
 
 \setbeamercolor{block title}{fg=black,bg=gray}
 \setbeamercolor{block title alerted}{use=alerted text,fg=black,bg=alerted text.fg!75!bg}
@@ -44,8 +45,6 @@
 }
 
 \setbeamertemplate{navigation symbols}{}
-
-\definecolor{gray}{rgb}{0.8,0.8,0.8}
 \setbeamercolor{footline}{fg=black,bg=gray}
 
 % Fusszeile mit Autor, Titel und Foliennummer / Gesamtfolienzahl
@@ -103,7 +102,7 @@
 \subsection{isabelle}
 \begin{frame}
 	\frametitle{What is Isabelle?}
-	\begin{spacing}{1.5}
+	\begin{spacing}{2}
 		\begin{itemize}
 			\item Generic Proof Assistant
 			\item Formula proofing in logical calculus
@@ -115,7 +114,7 @@
 \subsection{isac}
 \begin{frame}
 	\frametitle{What is {\isac}?}
-	\begin{spacing}{1.5}
+	\begin{spacing}{1.7}
 		\begin{itemize}
 			\item \textcolor{tug}{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal A}$}belle for~{}\textcolor{tug}{${\cal C}$}alculations
 			\item Interactive Course Material
@@ -146,45 +145,35 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \begin{frame}
-	\frametitle{Work flow}
-	\begin{spacing}{1.8}
-		\begin{itemize}
-			\item Problem Analysis
-			\item Information Collection
-			\item \textbf{TP-Programming}
-			\item Documentation
-		\end{itemize}
+	\frametitle{Course Material Creation {\normalsize Iterations}} %tasks? work flow?
+	\begin{spacing}{1.3}
+		\begin{enumerate}
+			\item Problem Analysis\\
+				{\small Calculation possiblities, Featured Steps} %example partial fractions
+			\item Information Collection\\
+				{\small Possiblies and Challanges in {\sisac{}}}
+			\item \textbf{TP-Programming}			
+			\item Documentation\\
+				{\small Representation of underlying knowledge in the system}
+		\end{enumerate}
 	\end{spacing}
 \end{frame}
 
 \subsection{issues}
 \begin{frame}
-	\frametitle{Issues to Accomplish I}
-	\begin{spacing}{1.4}
+	\frametitle{Issues to Accomplish {\normalsize Information Collection}}
+	\begin{spacing}{1.3}
 		\begin{itemize}
 			\item What knowledge is mechanized in Isabelle?\\
 						{\small How about new?}
 			\item What problems are implemented in {\sisac{}}?\\
 						{\small How about new?}
-			\item What is the effort?
+			\item What is the contents of the interactive course material?\\
+				{\small Figures, Explanations,\ldots}
 		\end{itemize}
 	\end{spacing}
 \end{frame}
 
-\begin{frame}
-	\frametitle{Issues to Accomplish II}
-\begin{spacing}{1.4}
-\begin{itemize}
-	\item How look calculations like?\\
-				{\small Ansatzs, Subproblems?}
-	\item How are problems specified?\\
-				{\small Given, Pre-/Postcondition, Find?}
-	\item What is the contents of the interactive course material?\\
-				{\small Figures, Explanations,\ldots}
-\end{itemize}
-\end{spacing}
-\end{frame}
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \section{Details}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -204,25 +193,44 @@
 \end{frame}
 
 \begin{frame}
-	\frametitle{Technical Survey II {\normalsize Notation Problems} }
-	\begin{spacing}{1.5}
+	\frametitle{Technical Survey II {\normalsize Representation Problems} }
+	\begin{spacing}{1.9}
 		\begin{itemize}
 			\item Different brackets have different meanings\\
 						{\small $u[n] \neq u(n)$\ldots in Math; but also in the source code}
-			\item Simplification, tricks and beauty\\
-						{\small $X\cdot(a+b)+Y\cdot(c+d)=aX+bX+cY+dY$}\\
-						{\small $\frac{1}{j\omega}\cdot\left(e^{-j\omega}-e^{j3\omega}\right)=\frac{1}{j\omega}\cdot e^{-j2\omega}\cdot\left(e^{j\omega}-e^{-j\omega}\right)=$}\\
-						{\small $=\frac{1}{\omega}\, e^{-j2\omega}\cdot\colorbox{lgray}{$\frac{1}{j}\,\left(e^{j\omega}-e^{-j\omega}\right)$}=\frac{1}{\omega}\,e^{-j2\omega}\cdot\colorbox{lgray}{$2\, sin(\omega)$} $}
+			\item We need Symbols, Indizes and Hochzahlen
+			\item Different Representations for different purpos %winkel in polar oder kartesischen koordinaten usw.
 		\end{itemize}
 	\end{spacing}
 \end{frame}
 
+\begin{frame}
+	\frametitle{Technical Survey III {\normalsize Notation Problems} }
+	\begin{spacing}{1.8}
+		\begin{center}
+			Simplification, tricks and beauty\\
+			  \vspace{7mm}
+				{\small $X\cdot(a+b)+Y\cdot(c+d)=aX+bX+cY+dY$}\\
+				\vspace{3mm}
+				{\small $\frac{1}{j\omega}\cdot\left(e^{-j\omega}-e^{j3\omega}\right)=\frac{1}{j\omega}\cdot e^{-j2\omega}\cdot\left(e^{j\omega}-e^{-j\omega}\right)=$}\\
+				{\small $=\frac{1}{\omega}\, e^{-j2\omega}\cdot\colorbox{lgray}{$\frac{1}{j}\,\left(e^{j\omega}-e^{-j\omega}\right)$}=\frac{1}{\omega}\,e^{-j2\omega}\cdot\colorbox{lgray}{$2\, sin(\omega)$} $}
+		\end{center}
+	\end{spacing}
+\end{frame}
+
 \subsection{Demonstration}
 \begin{frame}
 	\frametitle{Demonstration of {\isac}}
 	\begin{spacing}{1.5}
 		\begin{itemize}
-			\item TODO
+			\item Frontend - {\small The shiny side\ldots}
+			\item Backend - {\small The dark side\ldots}
+			\begin{itemize}
+				\item Equation solving
+				\item Notation problems, Working with Rulesets
+				\item Framework expansion
+				\item My Work
+			\end{itemize}
 		\end{itemize}
 	\end{spacing}
 \end{frame}
@@ -231,6 +239,7 @@
 \section{Summary}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\subsection{conclusion}
 \begin{frame}
 	\frametitle{Conclusion}
 	\begin{spacing}{1.2}
@@ -238,6 +247,7 @@
 				\item TP-based language not ready
 				\item Programming guideline not yet sufficient
 				\item Hope for usability in enginieering studies
+				\item Wide range of interested people
 				\vspace{5mm}
 				\item Hard to spend 200h on 1 programm
 				\item \isac{} pointed at my own error
@@ -245,16 +255,16 @@
 		\end{spacing}
 \end{frame}
 
-
+\subsection{contact}
 \begin{frame}
 	\frametitle{Contact}
-	\begin{spacing}{1.2}
-	    \begin{itemize}
-				\item Isabelle \href{isabelle.in.tum.de}{isabelle.in.tum.de}
-				\item The {\sisac}-Project: \href{www.ist.tugraz.at/isac}{www.ist.tugraz.at/isac}
-				\item Projectleader: \href{mailto:neuper@ist.tugraz.at}{neuper@ist.tugraz.at}
-				\item Jan Rocnik: \href{mailto:jan.rocnik@student.tugraz.at}{jan.rocnik@student.tugraz.at}
-			\end{itemize}
+	\begin{spacing}{1.7}
+	    \begin{tabular}{lr}
+				Isabelle & \small \texttt{\href{isabelle.in.tum.de}{isabelle.in.tum.de}}\\
+				The {\isac}-Project & \small \texttt{\href{www.ist.tugraz.at/isac}{www.ist.tugraz.at/isac}}\\
+				Projectleader & \small \texttt{\href{mailto:neuper@ist.tugraz.at}{neuper@ist.tugraz.at}}\\
+				Jan Rocnik & \small \texttt{\href{mailto:jan.rocnik@student.tugraz.at}{jan.rocnik@student.tugraz.at}}
+			\end{tabular}
 		\end{spacing}
 \end{frame}
 




