Fixade småsaker

Author: erikdsjostrom

Rapport/include/Resultat.tex

@@ -1,19 +1,17 @@
-
 \chapter{Resultat}
 
 I detta kapitel redovisas kortfattat det resulterande läromaterialet. Även
-resultaten från utvärderingen med testgruppen och mötena med Fäldt redovisas.
+resultaten från utvärderingen med testgruppen och möten med Fäldt redovisas.
 
 \begin{draft}
 
-\section{Läromaterialet}
-\label{sec:res_laromaterial}
+\section{Läromaterialet}\label{sec:res_laromaterial}
 
 Läromaterialet blev i slutändan en sammanvävning av domänspecifika språk som
 modellerar fysik, och en lärotext som förklarar kopplingen mellan fysiken och de
 domänspecifika språken. Figur~\ref{fig:smakprov_laromaterial} visar ett kort
 utdrag ur läromaterialet. Där ses hur domänspecifika språk och lärotext
-är sammanvävda. Ett längre utdrag finns i bilaga \ref{cha:utdrag}.
+är sammanvävda. Ett längre utdrag finns i bilaga~\ref{cha:utdrag}.
 
 \begin{figure}[tph]
   \includegraphics[width=\linewidth]{figure/smakprov_laromaterial.png}
@@ -64,7 +62,7 @@ \section{Läromaterialet}
 
 I \textit{bevis}-kapitlet presenteras bevisföring med hjälp av Haskells
 typsystem. Närmare bestämt används \textit{Curry Howard isomorfin}, som säger
-att typer är påståenden och värden bevis.\cite{chi} Det exemplifieras genom att
+att typer är påståenden och värden bevis\cite{chi}. Det exemplifieras genom att
 kinematiska formler bevisas. 
 
 \textit{Dimensioner} behandlar dimensioner, storheter och enheter inom fysiken.
@@ -76,8 +74,8 @@ \section{Läromaterialet}
 typer modifieras. Läromaterialet~\cite{LYAP} hänvisas till för en utförligare
 förklaring.} används för att göra likheterna så tydliga som möjligt.
 
-I \textit{matematisk analys} behandlar differentialkalkyl och
-integralkalkyl inom en variabel. Först bestäms den semantiska domänen
+I \textit{matematisk analys} behandlas differentialkalkyl och
+integralkalkyl för en variabel. Först bestäms den semantiska domänen
 för analys i en variabel: unära, reella funktioner; och ett syntaxträd
 för uttryck av funktioner inom denna domän konstrueras. Därefter
 analyseras syntax och semantik för differenser, derivator, och
@@ -88,7 +86,7 @@ \section{Läromaterialet}
 
 \textit{Vektorer} behandlar vektorer och vektoroperationer. Vektorer modelleras
 som med hjälp av en typklass som dikterar vilka funktioner som varje
-modell av en vektor måste implementera. Generall vektoroperationer såsom
+modell av en vektor måste implementera. Generella vektoroperationer såsom
 addition och skalärprodukt implementerades sedan med hjälp av dessa funktioner
 vilket skapade ett mycket generellt och lättanvänt gränssnitt. Quickcheck
 användes för att verifiera lagarna som gäller för olika vektoroperationer,
@@ -103,26 +101,16 @@ \section{Läromaterialet}
   \item Krafter på lådor
 \end{itemize}
 
-Gör PSSSO\footnote{På Samma Sätt Som Ovan} för de kompisita områdena, dvs skriv
+\textbf{TODO:} Gör PSSSO\footnote{På Samma Sätt Som Ovan} för de kompisita områdena, dvs skriv
 vad varje handlar om.
 
-\textit{Single particle mechanics} \textbf{TODO}
+\textbf{TODO:} \textit{Single particle mechanics} 
 
 Läromaterialet blev publicerat på en hemsida\cite{LYAP} och all källkod finns
 tillgänglig på projektets GitHub-repository.\cite{LYAP_repo} Texten är skriven
 på engelska.
 
-%\begin{binge}
-%
-%EXEMPEL PÅ ATT VI ANVÄNDER LITERAT STIL, OM DET SKULLE BEHÖVAS
-%
-%I Quantity så är detta tydligt. Då gjordes en `taste of types'' tidigt för att
-%läsaren skulle förstå Quantity bättre, innan massa detaljer gicks %in på. Frågan
-%är dock om detta ska gås in på i rapporten?
-%
-%\end{binge}
-
-\section{Utvärderingen med testgruppen}~\label{sec:res_test}
+\section{Utvärderingen med testgruppen}\label{sec:res_test}
 
 Utfallet från utvärderingen med testgruppen var till övervägande del positivt.
 Testgruppen tyckte läromaterialet var ett intressant och roligt sätt att
@@ -139,57 +127,24 @@ \section{Utvärderingen med testgruppen}~\label{sec:res_test}
 sig mest fysik eller mest Haskell. Det framgick heller inte om läromatarialet
 uppmuntrade testgruppen att vilja lära sig mer fysik.
 
-\section{Möten med fysikläraren}~\label{sec:res_ake}
+\section{Möten med fysikläraren}\label{sec:res_ake}
 
 Åke Fäldt hade en överlag positiv syn på läromaterialet.\footnote{Det bör
-påpekas att det som är återgivit här självklart har tolkats, och kan ha
+påpekas att det som är återgivet här självklart har tolkats, och kan ha
 missuppfattats, av projektgruppen. Fäldt ska med andra ord inte behöva stå till
 svars för vad som står här.} Fäldt tyckte att det fanns flera saker
 läromaterialet kunde bidra med. En bra sak var att läromaterialet ger att annat
 perspektiv på fysiken, ett annat sätt att förklara den genom att göra det med
-hjälp av domänspecifika språk.
-
-En annan bra sak var den rigorösitet som domänspecifika språk leder till.
-Eftersom de domänspecifika språken måste vara väldefinerade betyder det att alla
-fysikalaiska koncept måste göras entydiga och även de blir väldefinerade.
-Operationerna på dem kan enbart göras på det definerade sättet. Följden blir att
-inget fusk kan göras i beräkningarna - alla steg måste vara fullständiga och
-följa de regler som finns. Fäldt menade att det var en bra egenskap hos
-läromaterialet, att detta rigorösa tankesätt och metodik som förmedlas hade
-varit till nytta i problemlösning i fysikkursen.
+hjälp av domänspecifika språk. En annan bra sak var den rigorösitet som
+domänspecifika språk leder till. Eftersom de domänspecifika språken måste vara
+väldefinerade betyder det att alla fysikalaiska koncept måste göras entydiga och
+även de blir väldefinerade. Operationerna på dem kan enbart göras på det
+definerade sättet. Följden blir att inget fusk kan göras i beräkningarna - alla
+steg måste vara fullständiga och följa de regler som finns. Fäldt menade att det
+var en bra egenskap hos läromaterialet, att detta rigorösa tankesätt och metodik
+som förmedlas hade varit till nytta för problemlösning i fysikkursen.
 
 Förutom ovanstående framgick även vilka områden i Fysik för ingenjörer som var
 svåra för studenter. Detta finns redovisat i avsitt~\ref{sec:kontakt_faldt}
 
 \end{draft}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-