Skrev klart binge om analys

Author: Oskar Lundström

Rapport/include/Resultat.tex

@@ -179,6 +179,8 @@ \subsection{Dimensioner}
 
 \subsection{Matematisk analys}
 
+\begin{binge}
+
 I kapitlet om matematisk analys skapas en syntax för funktionsuttryck och symboliskt derivering och integrering implementeras. Dessutom analyseras syntax och semantik hos uttryck som dyker upp inom matematisk analys, till exempel $\Delta$-operatorn.
 
 Syntaxen för funktionsuttryck inleds med
@@ -212,8 +214,17 @@ \subsection{Matematisk analys}
     | I FunExpr
 \end{lstlisting}
 
-En utförligare förklaring av syntaxträdet finns i läromaterialet. 
+En utförligare förklaring av syntaxen \texttt{FunExpr} finns i läromaterialet.
+
+I läromaterialet analyseras derivering utförligt med gränsvärden, kvoter och approximativa metoder. Dessutom motiveras och implementeras symbolisk derivering. Den görs med en funktion \texttt{derive} som har ett fall för vardera av konstruktorerna i \texttt{FunExpr}. Några av fallen är
+
+\begin{lstlisting}
+  derive (f :* g) = derive f :* g :+ f :* derive g
+  derive (f :+ g) = derive f :+ derive g
+  derive Exp = Exp
+\end{lstlisting}
 
+\end{binge}
 
 \subsection{Vektorer}
 

Rapport/include/frontmatter/Ordlista.tex

@@ -12,10 +12,6 @@ \chapter*{Ordlista}
 
 \textbf{Fysik för ingenjörer} En fysikkurs som är obligatorisk för studenter på civilingenjörsprogrammet Datateknik på Chalmers. Den ges i årskurs 2 och innehåller grunderna i klassisk mekanik, termodynamik och vågrörelselära.
 
-\textbf{Grundläggande område} Ett område i läromaterialet som inte bygger på något annat område. Till exempel vektorer.
-
-\textbf{Komposit område} Ett område i läromaterialet som bygger på andra områden. Till exempel partikelmekanik, som använder sig av vektorer och matematisk analys.
-
 \textbf{Literate Haskell} Litterat programmering i Haskell. Se avsnitt \ref{sec:lhs}
 
 \textbf{Läromaterialet} Syftar på den pedagogiska text som projektet resulterat i.
@@ -24,6 +20,4 @@ \chapter*{Ordlista}
 
 \textbf{Syntax} Grammatiken för ett språk, som beskriver hur meningar konstrueras i det. Se avsnitt \ref{sec:syntax}.
 
-\textbf{Syntaxträd} En visualisering av en syntax i ett träd. Se avsnitt \ref{sec:syntax}.
-
 \textbf{Åke Fäldt} Föreläsare och examinator i kursen Fysik för ingenjörer.