Språkfixar i bakgrund

Author: Oskar Lundström

Rapport/include/Introduktion.tex

@@ -8,26 +8,26 @@ \section{Bakgrund}
 
 \begin{draft}
 
-På civilingenjörsprogrammet Datateknik på Chalmers ingår den obligatoriska
+På civilingenjörsprogrammet Datateknik på Chalmers tekniska högskola ingår den obligatoriska
 fysikkursen \textit{Fysik för ingenjörer}. Tentastatistiken för denna kurs är
-betydligt sämre än för andra kurser på datateknik.\footnote{Andel underkänt på
+betydligt sämre än för andra kurser på Datateknik\footnote{Andel underkänt på
 ordinarie tentamen från läsår 2014 till 2017: 34\%, 76\%, 18\%, 57\%.
-}\cite{tentastatistik}. Vi tror att många studenter på datateknik finner denna
+}~\cite{tentastatistik}. Projektgruppen tror att många studenter på Datateknik finner denna
 kurs svår eller ointressant, och att detta leder till att en betydande andel får
 underkänt på tentamen.
 
 Detta tror projektgruppen kan lösas med avstamp från kursen \textit{Domain
 Specific Languages of Mathematics} (``DSLsofMath''), med den svenska titeln
-\textit{Matematikens domänspecifika språk} vilket är en valbar kurs på
-kandidatnivå för studenter på Chalmers och Göteborgs Universitet. Konkret så
-presenterar kursen DSLsofMath matematik så som derivator, komplexa tal och
+\textit{Matematikens domänspecifika språk}, vilket är en valbar kurs på
+kandidatnivå för studenter på Chalmers tekniska högskola och Göteborgs Universitet. Konkret
+presenterar DSLsofMath matematik som derivator, komplexa tal och
 matriser ur ett funktionellt programmeringsperspektiv i det funktionella
 programmeringsspråket Haskell. Dessa för datastudenterna redan bekanta begrepp
-och verktyg från tidigare kurser presenteras då på ett nytt och tänkvärt sätt.
+och verktyg från tidigare kurser används till att presentera matematik på ett nytt och tänkvärt sätt.
 
-I kursen DSLsofMath, var år 2016 Cezar Ionescu huvudföreläsare, och från
-2017 är Patrik Jansson huvudföreläsare, de har beskrivit avseendet med kursen
-genom en artikel~\cite{tfpie2015}. Det direkta målet med kursen DSLSofMath är
+I kursen DSLsofMath var år 2016 Cezar Ionescu huvudföreläsare, och från
+2017 är Patrik Jansson huvudföreläsare. De har beskrivit avsikten med kursen
+genom en artikel~\cite{tfpie2015}. Det direkta målet med kursen är
 att förbättra den matematiska utbildningen för datavetare och den
 datavetenskapliga utbildningen för matematiker, där den grundläggande idéen
 bakom kursen är:
@@ -36,60 +36,58 @@ \section{Bakgrund}
   domäner från ett funktionellt programmeringsperspektiv: att ge beräkningsbevis
   (calculational proofs); att vara uppmärksamma på syntaxen för matematiska
   uttryck; och, slutligen, att organisera de resulterande funktionerna och
-typerna i domänspecifika språk.''\cite{lecture-notes}\cite{tfpie2015}
+typerna i domänspecifika språk.''~cite{tfpie2015}~\cite{lecture-notes}\
 \end{center}
 
-De funktionella programmeringsperspektivet som kursen använder sig av bottnar i
+Det funktionella programmeringsperspektivet som kursen använder sig av bottnar i
 så kallade domänspecifika språk. Kortfattat kan ett domänspecifikt språk
 beskrivas som ett programmeringsspråk som skapats för ett väl avgränsat
-område. Detta område kan vara databashantering, algebraiska uttryck, eller till
+område. Detta område kan vara databashantering, algebraiska uttryck eller till
 och med fysik. Språket kan antingen vara implementerat inuti ett annat
-programmeringsspråk eller implementerat helt fristående, i kursen och projektet 
+programmeringsspråk eller implementerat helt fristående. I kursen och projektet 
 är det implementerat i Haskell.
 
-Vi vill på samma sätt 
-% använda domänspecifika språk för att 
-presentera fysik ur ett alternativt perspektiv likt det sättet DSLsofMath
-presenterar kopplingar mellan matematik och programmering. Förhoppningen är att
-läromaterialet ska visa på kopplingar mellan programmering och fysik och därmed
-underlätta lärandet.
+Ideen bakom projektet är att på samma sätt använda domänspecifika språk för att ur ett alternativt perspektiv, likt det sättet DSLsofMath
+presenterar kopplingar mellan matematik och programmering. Förhoppningen är att kunna visa på kopplingar mellan programmering och fysik och därmed
+underlätta lärandet. En analogi är
 
 %PaJa:Trevligt!
-En analogi:
 
-Studenterna hade svårt för matte $\rightarrow $ DSLsofMath.\\ 
-Studenterna har svårt för fysik $\rightarrow $ Learn you a physics.
+\begin{center}
+Studenterna har svårt för matematik $\rightarrow $ DSLsofMath.\\ 
+Studenterna har svårt för fysik $\rightarrow $ Detta projekt.
+\end{center}
 
-Vi tror att att detta projekt kan vara av intresse för studenter, pedagoger och
+Detta projekt kan vara av intresse för studenter, pedagoger och
 föreläsare inom de berörda områdena eftersom det här projektet ger ett nytt
 perspektiv på fysik som inte bara är annorlunda utan också mer rigoröst.
 Förhoppningsvis blir det också relevant för de som är intresserade av
 domänspecifika språk i stort och kanske till och med för programledningen som
-kan se vår rapport som ett skäl att introducera innehåll av detta slag i
+kan se denna rapport som ett skäl att introducera innehåll av detta slag i
 fysikkurser.
 
 Angående tidigare forskning och studier har en kurs på MIT, inte helt olik
 DSLsofMath, tidigare givits som berör både fysik och 
-%domänspecifika språk (''DSL'').
-funktionell programmering.
-``Classical Mechanics: A Computational Approach'' gavs av Prof.  Gerald Sussman
-och Prof. Jack Wisdom bl.a. år 2008.\cite{classical-mechanics-course-mit-2008}
+domänspecifika språk.
+%funktionell programmering.
+\textit{Classical Mechanics: A Computational Approach} gavs av Prof. Gerald Sussman
+och Prof. Jack Wisdom bland annat år 2008.~\cite{classical-mechanics-course-mit-2008}
 Denna kurs på avancerad nivå studerar de fundamentala principerna av klassisk
 mekanik med hjälp av beräkningsidéer för att precist formulera principerna av
 mekanik, med början i Lagranges ekvationer och avslut i perturbationsteori
-(teori för approximationer av matematiska lösningar). I kursboken\cite{SICM}
+(teori för approximationer av matematiska lösningar). I kursboken~\cite{SICM}
 förklaras fysikaliska fenomen genom att visa datorprogram för att simulera dem,
-skrivna i språket Scheme.  Denna typ av kurser ter sig ovanliga, och är, till
-vår kännedom, den enda kursen bortsett från DSLsofMath på Chalmers som knyter
+skrivna i språket Scheme.  Denna typ av kurs ter sig ovanliga, och är, till
+projektgruppens kännedom, den enda kursen bortsett från DSLsofMath på Chalmers som knyter
 samman matematik, fysik och programmering.
 
-Utöver DSLsofMath-kursen har det även tidigare gjorts ett liknande kandidatarbete 
-här på Chalmers. Vårterminen 2016 utfördes kandidatarbetet ``Programmering som
+Även tidigare har det genomförts ett kandidatarbete på Chalmers med anknytning till DSLsofMath.
+Vårterminen 2016 genomfördes kandidatarbetet \textit{Programmering som
 undervisningsverktyg för Transformer, signaler och system. Utvecklingen av
-läromaterialet TSS med DSL'' av fem studenter från Datateknik och Teknisk
-Matematik på Chalmers. Arbetet bestod av utveckling av läromaterial med
+läromaterialet TSS med DSL} av fem studenter från Datateknik och Teknisk
+Matematik på Chalmers~\cite{kandidat2016}. Arbetet bestod av utveckling av läromaterial med
 tillhörande programmeringskod, uppgifter och lösningar, som komplement till
-existerande kurser i signallära.\cite{kandidat2016}
+existerande kurser i signallära.
 
 \section{Projektets mål}