Merge branch 'master' of https://github.com/DSLsofMath/BScProj2018

Author: AiStudent

Physics/src/Proofs/Frågor till Patrik.txt

@@ -1,4 +1,4 @@
 
-Jag har f�rs�kt g�ra n�got i stil med AbstractFOL i DSLM-kursen, men f�r algebraiska uttryck som dyker upp i fysikkursen. Min tanke �r att samband som "delta v = a * delta t om a �r konstant" ska bevisas utifr�n r�tt m�nga axiom (s� att man inte beh�ver bevisa all matematik ner till de minsta riktiga axiomen).
+Jag har f�rs�kt g�ra n�got i stil med AbstractFOL i DSLM-kursen, men f�r algebraiska uttryck som dyker upp i fysikkursen. Min tanke �r att samband som "delta v = a * delta t om a �r konstant" ska bevisas utifr�n r�tt m�nga axiom (s� att man inte beh�ver bevisa all matematik ner till de minsta riktiga axiomen).
 
-Tror du det detta �r ett fruktsamt sp�r att f�lja? �n s� l�nge k�nns det mest som att jag introducerar en massa axiom, precis dom som beh�vs f�r att kunna genomf�ra beviset. Sedan finns det en del problem, som jag markerat i k�llkoden. Har de n�gon bra l�sning i Haskells typsystem? 
+Tror du det detta �r ett fruktsamt sp�r att f�lja? �n s� l�nge k�nns det mest som att jag introducerar en massa axiom, precis dom som beh�vs f�r att kunna genomf�ra beviset. Sedan finns det en del problem, som jag markerat i k�llkoden. Har de n�gon bra l�sning i Haskells typsystem? 

Rapport/Main.tex

@@ -28,11 +28,8 @@
 % List of figures (add to table of contents)
 \cleardoublepage
 \addcontentsline{toc}{chapter}{\listfigurename}
-\listoffigures
 % List of tables (add to table of contents)
-\cleardoublepage
-\addcontentsline{toc}{chapter}{\listtablename}
-\listoftables
+\listoffigures
 
 % Ordlista
 \cleardoublepage

Rapport/include/Diskussion.tex

@@ -10,18 +10,17 @@ \section{Bakgrund}
 
 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~\cite{tentastatistik} ä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}. Projektgruppen tror att många studenter på Datateknik finner denna
+}. 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.
 
 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
+\textit{Matematikens domänspecifika språk}. Kursen är valbar på kandidatnivå för studenter på Chalmers och Göteborgs universitet. Konkret
 presenterar DSLsofMath matematik som derivator, komplexa tal och
-matriser ur ett funktionellt programmeringsperspektiv i Haskell, vilket är ett programeringsspråk datastudenterna redan är bekanta med.
+matriser ur ett funktionellt programmeringsperspektiv i Haskell, vilket är ett programmeringsspråk datastudenterna redan är bekanta med.
 
 DSLsofMath-kursens skapare, Cezar Ionescu och Patrik Jansson, har beskrivit avsikten med kursen i en artikel~\cite{tfpie2015}. Det direkta målet med kursen är
 att förbättra den matematiska utbildningen för datavetare och den
@@ -43,9 +42,9 @@ \section{Bakgrund}
 programmeringsspråk eller implementerat helt fristående. I kursen och projektet 
 är det implementerat i Haskell.
 
-Ideen bakom projektet är att på motsvarande sätt använda domänspecifika språk för att ur ett alternativt perspektiv, likt det sättet DSLsofMath
+Idéen bakom projektet är att på motsvarande 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
+underlätta lärandet. För att förtydliga ges här en analogi:
 
 %PaJa:Trevligt!
 
@@ -55,9 +54,9 @@ \section{Bakgrund}
 \end{center}
 
 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
+föreläsare inom de berörda områdena eftersom 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
+Förhoppningsvis blir det även 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 denna rapport som ett skäl att introducera innehåll av detta slag i
 fysikkurser.
@@ -66,14 +65,14 @@ \section{Bakgrund}
 DSLsofMath, tidigare givits som berör både fysik och 
 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}.
+\textit{Classical Mechanics: A Computational Approach} gavs av professor Gerald Sussman
+och professor Jack Wisdom senast år 2008~\cite{classical-mechanics-course-mit-2008}.
 Denna kurs på avancerad nivå studerar de fundamentala principerna för 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}
 förklaras fysikaliska fenomen genom att visa datorprogram för att simulera dem,
-skrivna i språket Scheme. Denna typ av kurs ter sig ovanliga, och är, till
+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.
 
@@ -88,9 +87,9 @@ \section{Bakgrund}
 \section{Projektets mål}
 
 Tanken med detta kandidatarbete är att angripa fysik från ett funktionellt
-programeringsperspektiv. På detta sätt är förhoppningen att fysik ska bli både
-roligt och intressant för datastudenter, och därmed förhoppningsvis också
-enklare. Detta är likt premissen bakom kursen DSLsofMath och kandidatarbetet
+programmeringsperspektiv. Förhoppningen är då att fysik ska bli både
+roligt och intressant för datastudenter, och därmed också
+enklare. Detta liknar premissen bakom kursen DSLsofMath och kandidatarbetet
 från 2016, som istället för fysik behandlade matematik respektive signallära.
 
 Mer konkret ska ovanstående genomföras genom att skapa ett läromaterial.
@@ -110,14 +109,14 @@ \section{Avgränsningar}\label{sec:avgransningar}
 
 Läromaterialet ska begränsa sig till att enbart beskriva de fysikaliska områden
 som ingår i kursen Fysik för ingenjörer. Denna avgränsning valdes dels för att
-det är den fysik gruppmedlemmarnas kunskapar är begränsad till, dels för att
+det är den fysik gruppmedlemmarnas kunskaper är begränsad till, dels för att
 det är för Fysik för ingenjörer detta projekt kan bli mest relevant för, då
 kursen ingår i datastudenternas obligatoriska kursplan.
 
 Vidare kommer en prioritering av innehållet i Fysik för ingenjörer att göras.
 Kursen behandlar grunderna inom klassisk mekanik, termodynamik och
 vågrörelselära. Det ingår även en stor mängd tillämpad matematik, exempelvis
-differentilkalkyl. I första hand kommer mekaniken behandlas, för att sedan i mån
+differentialkalkyl I första hand kommer mekaniken behandlas, för att sedan i mån
 av tid även behandla termodynamik och vågrörelselära. Fokuset kommer också att
 vara på de områden datastudenter haft svårt för.
 
@@ -126,10 +125,10 @@ \section{Avgränsningar}\label{sec:avgransningar}
 lämpliga testgrupper, analysera återkopplingen samt dokumentera
 testningsförloppet.
 
-Projeketet kommer fokusera mer på innehållet än att det är skrivet på ett, ur
+Projektet kommer fokusera mer på innehållet än att det är skrivet på ett, ur
 ett pedagogiskt perspektiv, bra sätt. Denna avgränsning valdes eftersom hur
 innehållet kan se ut är intressantare än att det är skrivet på det mest
 pedagogiska sättet. Den pedagogiska aspekten kommer inte ignoreras helt. Fokuset
-på den kommer bara vara mindre.
+på den kommer bara att vara mindre.
 
 \end{draft}