8 |
8 |
9 \usepackage{beamerthemedefault} |
9 \usepackage{beamerthemedefault} |
10 |
10 |
11 \usepackage{color} |
11 \usepackage{color} |
12 \definecolor{lgray}{RGB}{238,238,238} |
12 \definecolor{lgray}{RGB}{238,238,238} |
|
13 \definecolor{gray}{rgb}{0.8,0.8,0.8} |
13 |
14 |
14 \useoutertheme[subsection=false]{smoothbars} |
15 \useoutertheme[subsection=false]{smoothbars} |
15 \useinnertheme{circles} |
16 %\useinnertheme{circles} |
16 |
17 |
17 \setbeamercolor{block title}{fg=black,bg=gray} |
18 \setbeamercolor{block title}{fg=black,bg=gray} |
18 \setbeamercolor{block title alerted}{use=alerted text,fg=black,bg=alerted text.fg!75!bg} |
19 \setbeamercolor{block title alerted}{use=alerted text,fg=black,bg=alerted text.fg!75!bg} |
19 \setbeamercolor{block title example}{use=example text,fg=black,bg=example text.fg!75!bg} |
20 \setbeamercolor{block title example}{use=example text,fg=black,bg=example text.fg!75!bg} |
20 \setbeamercolor{block body}{parent=normal text,use=block title,bg=block title.bg!25!bg} |
21 \setbeamercolor{block body}{parent=normal text,use=block title,bg=block title.bg!25!bg} |
42 \hskip-1pt\rule{\paperwidth}{0.3pt} |
43 \hskip-1pt\rule{\paperwidth}{0.3pt} |
43 \end{beamercolorbox} |
44 \end{beamercolorbox} |
44 } |
45 } |
45 |
46 |
46 \setbeamertemplate{navigation symbols}{} |
47 \setbeamertemplate{navigation symbols}{} |
47 |
|
48 \definecolor{gray}{rgb}{0.8,0.8,0.8} |
|
49 \setbeamercolor{footline}{fg=black,bg=gray} |
48 \setbeamercolor{footline}{fg=black,bg=gray} |
50 |
49 |
51 % Fusszeile mit Autor, Titel und Foliennummer / Gesamtfolienzahl |
50 % Fusszeile mit Autor, Titel und Foliennummer / Gesamtfolienzahl |
52 \setbeamertemplate{footline}[text line]{ |
51 \setbeamertemplate{footline}[text line]{ |
53 \hskip-1pt |
52 \hskip-1pt |
144 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
143 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
145 \section{Material Creation} |
144 \section{Material Creation} |
146 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
145 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
147 |
146 |
148 \begin{frame} |
147 \begin{frame} |
149 \frametitle{Work flow} |
148 \frametitle{Course Material Creation {\normalsize Iterations}} %tasks? work flow? |
150 \begin{spacing}{1.8} |
149 \begin{spacing}{1.3} |
151 \begin{itemize} |
150 \begin{enumerate} |
152 \item Problem Analysis |
151 \item Problem Analysis\\ |
153 \item Information Collection |
152 {\small Calculation possiblities, Featured Steps} %example partial fractions |
154 \item \textbf{TP-Programming} |
153 \item Information Collection\\ |
155 \item Documentation |
154 {\small Possiblies and Challanges in {\sisac{}}} |
156 \end{itemize} |
155 \item \textbf{TP-Programming} |
|
156 \item Documentation\\ |
|
157 {\small Representation of underlying knowledge in the system} |
|
158 \end{enumerate} |
157 \end{spacing} |
159 \end{spacing} |
158 \end{frame} |
160 \end{frame} |
159 |
161 |
160 \subsection{issues} |
162 \subsection{issues} |
161 \begin{frame} |
163 \begin{frame} |
162 \frametitle{Issues to Accomplish I} |
164 \frametitle{Issues to Accomplish {\normalsize Information Collection}} |
163 \begin{spacing}{1.4} |
165 \begin{spacing}{1.3} |
164 \begin{itemize} |
166 \begin{itemize} |
165 \item What knowledge is mechanized in Isabelle?\\ |
167 \item What knowledge is mechanized in Isabelle?\\ |
166 {\small How about new?} |
168 {\small How about new?} |
167 \item What problems are implemented in {\sisac{}}?\\ |
169 \item What problems are implemented in {\sisac{}}?\\ |
168 {\small How about new?} |
170 {\small How about new?} |
169 \item What is the effort? |
171 \item What is the contents of the interactive course material?\\ |
170 \end{itemize} |
|
171 \end{spacing} |
|
172 \end{frame} |
|
173 |
|
174 \begin{frame} |
|
175 \frametitle{Issues to Accomplish II} |
|
176 \begin{spacing}{1.4} |
|
177 \begin{itemize} |
|
178 \item How look calculations like?\\ |
|
179 {\small Ansatzs, Subproblems?} |
|
180 \item How are problems specified?\\ |
|
181 {\small Given, Pre-/Postcondition, Find?} |
|
182 \item What is the contents of the interactive course material?\\ |
|
183 {\small Figures, Explanations,\ldots} |
172 {\small Figures, Explanations,\ldots} |
184 \end{itemize} |
173 \end{itemize} |
185 \end{spacing} |
174 \end{spacing} |
186 \end{frame} |
175 \end{frame} |
187 |
176 |
188 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
177 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
189 \section{Details} |
178 \section{Details} |
190 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
179 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
202 \end{itemize} |
191 \end{itemize} |
203 \end{spacing} |
192 \end{spacing} |
204 \end{frame} |
193 \end{frame} |
205 |
194 |
206 \begin{frame} |
195 \begin{frame} |
207 \frametitle{Technical Survey II {\normalsize Notation Problems} } |
196 \frametitle{Technical Survey II {\normalsize Representation Problems} } |
208 \begin{spacing}{1.5} |
197 \begin{spacing}{1.9} |
209 \begin{itemize} |
198 \begin{itemize} |
210 \item Different brackets have different meanings\\ |
199 \item Different brackets have different meanings\\ |
211 {\small $u[n] \neq u(n)$\ldots in Math; but also in the source code} |
200 {\small $u[n] \neq u(n)$\ldots in Math; but also in the source code} |
212 \item Simplification, tricks and beauty\\ |
201 \item We need Symbols, Indizes and Hochzahlen |
213 {\small $X\cdot(a+b)+Y\cdot(c+d)=aX+bX+cY+dY$}\\ |
202 \item Different Representations for different purpos %winkel in polar oder kartesischen koordinaten usw. |
214 {\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)=$}\\ |
203 \end{itemize} |
215 {\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)$} $} |
204 \end{spacing} |
216 \end{itemize} |
205 \end{frame} |
|
206 |
|
207 \begin{frame} |
|
208 \frametitle{Technical Survey III {\normalsize Notation Problems} } |
|
209 \begin{spacing}{1.8} |
|
210 \begin{center} |
|
211 Simplification, tricks and beauty\\ |
|
212 \vspace{7mm} |
|
213 {\small $X\cdot(a+b)+Y\cdot(c+d)=aX+bX+cY+dY$}\\ |
|
214 \vspace{3mm} |
|
215 {\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)=$}\\ |
|
216 {\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)$} $} |
|
217 \end{center} |
217 \end{spacing} |
218 \end{spacing} |
218 \end{frame} |
219 \end{frame} |
219 |
220 |
220 \subsection{Demonstration} |
221 \subsection{Demonstration} |
221 \begin{frame} |
222 \begin{frame} |
222 \frametitle{Demonstration of {\isac}} |
223 \frametitle{Demonstration of {\isac}} |
223 \begin{spacing}{1.5} |
224 \begin{spacing}{1.5} |
224 \begin{itemize} |
225 \begin{itemize} |
225 \item TODO |
226 \item Frontend - {\small The shiny side\ldots} |
|
227 \item Backend - {\small The dark side\ldots} |
|
228 \begin{itemize} |
|
229 \item Equation solving |
|
230 \item Notation problems, Working with Rulesets |
|
231 \item Framework expansion |
|
232 \item My Work |
|
233 \end{itemize} |
226 \end{itemize} |
234 \end{itemize} |
227 \end{spacing} |
235 \end{spacing} |
228 \end{frame} |
236 \end{frame} |
229 |
237 |
230 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
238 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
231 \section{Summary} |
239 \section{Summary} |
232 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
240 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
233 |
241 |
|
242 \subsection{conclusion} |
234 \begin{frame} |
243 \begin{frame} |
235 \frametitle{Conclusion} |
244 \frametitle{Conclusion} |
236 \begin{spacing}{1.2} |
245 \begin{spacing}{1.2} |
237 \begin{itemize} |
246 \begin{itemize} |
238 \item TP-based language not ready |
247 \item TP-based language not ready |
239 \item Programming guideline not yet sufficient |
248 \item Programming guideline not yet sufficient |
240 \item Hope for usability in enginieering studies |
249 \item Hope for usability in enginieering studies |
|
250 \item Wide range of interested people |
241 \vspace{5mm} |
251 \vspace{5mm} |
242 \item Hard to spend 200h on 1 programm |
252 \item Hard to spend 200h on 1 programm |
243 \item \isac{} pointed at my own error |
253 \item \isac{} pointed at my own error |
244 \end{itemize} |
254 \end{itemize} |
245 \end{spacing} |
255 \end{spacing} |
246 \end{frame} |
256 \end{frame} |
247 |
257 |
248 |
258 \subsection{contact} |
249 \begin{frame} |
259 \begin{frame} |
250 \frametitle{Contact} |
260 \frametitle{Contact} |
251 \begin{spacing}{1.2} |
261 \begin{spacing}{1.7} |
252 \begin{itemize} |
262 \begin{tabular}{lr} |
253 \item Isabelle \href{isabelle.in.tum.de}{isabelle.in.tum.de} |
263 Isabelle & \small \texttt{\href{isabelle.in.tum.de}{isabelle.in.tum.de}}\\ |
254 \item The {\sisac}-Project: \href{www.ist.tugraz.at/isac}{www.ist.tugraz.at/isac} |
264 The {\isac}-Project & \small \texttt{\href{www.ist.tugraz.at/isac}{www.ist.tugraz.at/isac}}\\ |
255 \item Projectleader: \href{mailto:neuper@ist.tugraz.at}{neuper@ist.tugraz.at} |
265 Projectleader & \small \texttt{\href{mailto:neuper@ist.tugraz.at}{neuper@ist.tugraz.at}}\\ |
256 \item Jan Rocnik: \href{mailto:jan.rocnik@student.tugraz.at}{jan.rocnik@student.tugraz.at} |
266 Jan Rocnik & \small \texttt{\href{mailto:jan.rocnik@student.tugraz.at}{jan.rocnik@student.tugraz.at}} |
257 \end{itemize} |
267 \end{tabular} |
258 \end{spacing} |
268 \end{spacing} |
259 \end{frame} |
269 \end{frame} |
260 |
270 |
261 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
271 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
262 \end{document} |
272 \end{document} |