1.1 --- a/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex Sat Feb 18 15:12:19 2012 +0100
1.2 +++ b/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex Sun Feb 19 17:04:43 2012 +0100
1.3 @@ -41,6 +41,17 @@
1.4
1.5 \newcommand{\HRule}{\rule{\linewidth}{0.2mm}}
1.6
1.7 +%start new even page
1.8 +\usepackage{ifthen}
1.9 +\newcommand{\newevenside}{
1.10 + \ifthenelse{\isodd{\thepage}}{\newpage}{
1.11 + \newpage
1.12 + \phantom{placeholder} % doesn't appear on page
1.13 + \thispagestyle{empty} % if want no header/footer
1.14 + \newpage
1.15 + }
1.16 +}
1.17 +
1.18 %----------// BEGIN DOCUMENT \\----------%
1.19
1.20 \begin{document}
1.21 @@ -69,10 +80,12 @@
1.22
1.23 %----------// EMPTY PAGE \\----------%4
1.24
1.25 -\thispagestyle{empty}\mbox{}\newpage
1.26 +%the following command was replaced by \newevenside
1.27 +%\thispagestyle{empty}\mbox{}\newpage
1.28
1.29 %----------// ABSTRACT \\----------%5
1.30
1.31 +\newevenside
1.32 \begin{abstract}
1.33 The Baccalaureate Thesis creates interactive course material for Signal Processing (SP) based on the experimental educational math assistant Isabelle/{\sisac} ({\em Isa}belle for Transparent {\em C}alculations in Applied Mathematics).
1.34 \par The content of the course material is defined together with the Signal Processing and Speech Communication Laboratory (SPSC Lab) of Graz University of Technology (TUG). The content is planned to be used in specific lectures and labs of the SPSC and thus is thoroughly concerned with underlying mathematical and physical theory.
1.35 @@ -88,10 +101,13 @@
1.36
1.37 %----------// EMPTY PAGE \\----------%6
1.38
1.39 -\thispagestyle{empty}\mbox{}\newpage
1.40 +%the following command was replaced by \newevenside
1.41 +%\thispagestyle{empty}\mbox{}\newpage
1.42
1.43 %----------// T O C \\----------%7
1.44
1.45 +\newevenside
1.46 +
1.47 \pagenumbering{Roman}
1.48 %This thesis is structured into a fundamental part introducing the motivation, the basic notions concerning the thesis aswell as the {\sisac{}} project and describing the mathematic base. Further a automatically generated practical part representing the work on {\sisac{}} which can be extended.
1.49 \tableofcontents
1.50 @@ -101,6 +117,8 @@
1.51
1.52 %----------// PART-1 \\----------%
1.53
1.54 +\newevenside
1.55 +
1.56 \part{Project Fundamentals}
1.57
1.58 \section{Introduction}
1.59 @@ -450,6 +468,8 @@
1.60
1.61 %----------// PART 2 \\----------%
1.62
1.63 +\newevenside
1.64 +
1.65 \part{Implementation}
1.66
1.67
2.1 --- a/doc-src/isac/jrocnik/bakkarbeit_titlepage.tex Sat Feb 18 15:12:19 2012 +0100
2.2 +++ b/doc-src/isac/jrocnik/bakkarbeit_titlepage.tex Sun Feb 19 17:04:43 2012 +0100
2.3 @@ -16,7 +16,7 @@
2.4 \HRule
2.5 \vspace{0.3cm}
2.6 \Large{
2.7 - \bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\
2.8 + \bf Towards Interactive Course Material\\ for Signal Processing based on Isabelle/\isac\\
2.9 }
2.10 \HRule
2.11
3.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Sat Feb 18 15:12:19 2012 +0100
3.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Sun Feb 19 17:04:43 2012 +0100
3.3 @@ -5,6 +5,8 @@
3.4 10 20 30 40 50 60 70 80
3.5 *)
3.6
3.7 +header{* Build_Inverse_Z_Transform *}
3.8 +
3.9 theory Build_Inverse_Z_Transform imports Isac
3.10
3.11 begin
3.12 @@ -112,9 +114,9 @@
3.13 *}
3.14 ML {* terms2str (asm1 @ asm2 @ asm3); *}
3.15
3.16 -section{*Prepare Steps for CTP-based programming Language\label{sec:prepstep}*}
3.17 +section{*Prepare Steps for TP-based programming Language\label{sec:prepstep}*}
3.18 text{*
3.19 - \par \noindent The following sections are challanging with the CTP-based
3.20 + \par \noindent The following sections are challanging with the TP-based
3.21 possibilities of building the programm. The goal is realized in
3.22 Section~\ref{spec-meth} and Section~\ref{prog-steps}.
3.23 \par The reader is advised to jump between the subsequent subsections and
3.24 @@ -343,7 +345,7 @@
3.25 *}
3.26
3.27 subsubsection {*Get Solutions out of a List*}
3.28 -text {*\noindent In {\sisac}'s CTP-based programming language:
3.29 +text {*\noindent In {\sisac}'s TP-based programming language:
3.30 \ttfamily let\$ \$s\_1 = NTH 1\$ solutions; \$s\_2 = NTH 2...\$ \normalfont
3.31 can be usefull.*}
3.32
3.33 @@ -562,7 +564,7 @@
3.34 *}
3.35
3.36 subsubsection {*Build Expression*}
3.37 -text {*\noindent In {\sisac}'s CTP-based programming language we can build
3.38 +text {*\noindent In {\sisac}'s TP-based programming language we can build
3.39 expressions by:\\
3.40 \ttfamily let s\_1 = Take numerator / (s\_1 * s\_2) \normalfont*}
3.41
3.42 @@ -978,7 +980,7 @@
3.43 get_met ["SignalProcessing","Z_Transform","inverse"];
3.44 *}
3.45
3.46 -section {*Program in CTP-based language \label{prog-steps}*}
3.47 +section {*Program in TP-based language \label{prog-steps}*}
3.48
3.49 text{*\noindent We start stepwise expanding our programm. The script is a
3.50 simple string containing severell manipulation instructions.
3.51 @@ -1202,16 +1204,14 @@
3.52
3.53 " eqr = drop_questionmarks eqr; "^
3.54 " (pbz::real) = Take eqr; "^
3.55 - " pbz = ((Substitute [A=a]) pbz); "^
3.56 - " pbz = ((Substitute [B=b]) pbz); "^
3.57 + " pbz = ((Substitute [A=a, B=b]) pbz); "^
3.58
3.59 " pbz = Rewrite ruleYZ False pbz; "^
3.60 " pbz = drop_questionmarks pbz; "^
3.61
3.62 - " (iztrans::real) = Take pbz; "^
3.63 - " iztrans = (Rewrite_Set inverse_z False) iztrans; "^
3.64 - " iztrans = drop_questionmarks iztrans; "^
3.65 - " (n_eq::bool) = Take (X_n = iztrans) "^
3.66 + " (X_z::bool) = Take (X_z = pbz); "^
3.67 + " (n_eq::bool) = (Rewrite_Set inverse_z False) X_z; "^
3.68 + " n_eq = drop_questionmarks n_eq "^
3.69 "in n_eq)"
3.70 )
3.71 );