Skip to content

Commit 82df869

Browse files
author
Oskar Lundström
committed
Ändringar i rapport utifrån kommentarer
1 parent 9fe7f56 commit 82df869

File tree

8 files changed

+76
-88
lines changed

8 files changed

+76
-88
lines changed

Rapport/Main.tex

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -28,11 +28,8 @@
2828
% List of figures (add to table of contents)
2929
\cleardoublepage
3030
\addcontentsline{toc}{chapter}{\listfigurename}
31-
\listoffigures
3231
% List of tables (add to table of contents)
33-
\cleardoublepage
34-
\addcontentsline{toc}{chapter}{\listtablename}
35-
\listoftables
32+
\listoffigures
3633

3734
% Ordlista
3835
\cleardoublepage

Rapport/include/Diskussion.tex

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -199,23 +199,22 @@ \subsection{Vad för slags områden är domänspecifika språk lämpliga att gö
199199
och lämpar sig därmed väl för implementering i Haskell som är ett språk med nära
200200
anknytning till matematik. En annan sak som dessa väl lämpade områden hade
201201
gemensamt var en tydlig syntax och en fix struktur som bestod av ``data och
202-
operationer'' Tabell~\ref{tab:data_och_ops} visar några exempel på områden med
202+
operationer''. Figur~\ref{fig:data_och_ops} visar några exempel på områden med
203203
sina data och operationer.
204204

205-
\begin{table}[tph]
205+
\begin{figure}[tph]
206206
\centering
207-
\caption{Exempel på data och operationer i några domänspecifika
208-
språk.}\label{tab:data_och_ops}
209207
\begin{tabular}{l|l}
210208
\toprule
211209
DSL / data & Exempel på operationer \\ \midrule
212210
Dimensioner & Multiplikation, division \\
213211
Vektorer & Addition, skalärprodukt \\
214212
Analys, funktioner & Derivera, multiplicera \\ \bottomrule
215213
\end{tabular}
216-
\end{table}
214+
\caption{Exempeltabell över data och operationer i några domänspecifikaspråk.}\label{fig:data_och_ops}
215+
\end{figure}
217216

218-
Att notera ur tabell~\ref{tab:data_och_ops} är att operationerna inom ett område
217+
Att notera ur figur~\ref{fig:data_och_ops} är att operationerna inom ett område
219218
görs på en och samma slags data, och sedan resulterar i samma slags data igen.
220219
Det här exemplifieras i matematisk analys, där derivering är en operation, som
221220
görs på en funktion och sedan resulterar i en annan funktion. Detta illustreras

Rapport/include/Introduktion.tex

Lines changed: 13 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -10,16 +10,15 @@ \section{Bakgrund}
1010

1111
På civilingenjörsprogrammet Datateknik på Chalmers tekniska högskola ingår den obligatoriska
1212
fysikkursen \textit{Fysik för ingenjörer}. Tentastatistiken för denna kurs är
13-
betydligt sämre än för andra kurser på Datateknik\footnote{Andel underkänt på
13+
betydligt sämre~\cite{tentastatistik} än för andra kurser på Datateknik\footnote{Andel underkänt på
1414
ordinarie tentamen från läsår 2014 till 2017: 34\%, 76\%, 18\%, 57\%.
15-
}~\cite{tentastatistik}. Projektgruppen tror att många studenter på Datateknik finner denna
15+
}. Projektgruppen tror att många studenter på Datateknik finner denna
1616
kurs svår eller ointressant, och att detta leder till att en betydande andel får
1717
underkänt.
1818

1919
Detta tror projektgruppen kan lösas med avstamp från kursen \textit{Domain
2020
Specific Languages of Mathematics} (``DSLsofMath''), med den svenska titeln
21-
\textit{Matematikens domänspecifika språk}, vilket är en valbar kurs på
22-
kandidatnivå för studenter på Chalmers och Göteborgs universitet. Konkret
21+
\textit{Matematikens domänspecifika språk}. Kursen är valbar på kandidatnivå för studenter på Chalmers och Göteborgs universitet. Konkret
2322
presenterar DSLsofMath matematik som derivator, komplexa tal och
2423
matriser ur ett funktionellt programmeringsperspektiv i Haskell, vilket är ett programmeringsspråk datastudenterna redan är bekanta med.
2524

@@ -45,7 +44,7 @@ \section{Bakgrund}
4544

4645
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
4746
presenterar kopplingar mellan matematik och programmering. Förhoppningen är att kunna visa på kopplingar mellan programmering och fysik och därmed
48-
underlätta lärandet. En analogi är
47+
underlätta lärandet. För att förtydliga ges här en analogi:
4948

5049
%PaJa:Trevligt!
5150

@@ -55,9 +54,9 @@ \section{Bakgrund}
5554
\end{center}
5655

5756
Detta projekt kan vara av intresse för studenter, pedagoger och
58-
föreläsare inom de berörda områdena eftersom det här projektet ger ett nytt
57+
föreläsare inom de berörda områdena eftersom projektet ger ett nytt
5958
perspektiv på fysik som inte bara är annorlunda utan också mer rigoröst.
60-
Förhoppningsvis blir det också relevant för de som är intresserade av
59+
Förhoppningsvis blir det även relevant för de som är intresserade av
6160
domänspecifika språk i stort och kanske till och med för programledningen som
6261
kan se denna rapport som ett skäl att introducera innehåll av detta slag i
6362
fysikkurser.
@@ -66,14 +65,14 @@ \section{Bakgrund}
6665
DSLsofMath, tidigare givits som berör både fysik och
6766
domänspecifika språk.
6867
%funktionell programmering.
69-
\textit{Classical Mechanics: A Computational Approach} gavs av Prof. Gerald Sussman
70-
och Prof. Jack Wisdom bland annat år 2008~\cite{classical-mechanics-course-mit-2008}.
68+
\textit{Classical Mechanics: A Computational Approach} gavs av professor Gerald Sussman
69+
och professor Jack Wisdom senast år 2008~\cite{classical-mechanics-course-mit-2008}.
7170
Denna kurs på avancerad nivå studerar de fundamentala principerna för klassisk
7271
mekanik med hjälp av beräkningsidéer för att precist formulera principerna av
7372
mekanik, med början i Lagranges ekvationer och avslut i perturbationsteori
7473
(teori för approximationer av matematiska lösningar). I kursboken~\cite{SICM}
7574
förklaras fysikaliska fenomen genom att visa datorprogram för att simulera dem,
76-
skrivna i språket Scheme. Denna typ av kurs ter sig ovanliga, och är, till
75+
skrivna i språket Scheme. Denna typ av kurs ter sig ovanliga och är, till
7776
projektgruppens kännedom, den enda kursen bortsett från DSLsofMath på Chalmers som knyter
7877
samman matematik, fysik och programmering.
7978

@@ -88,9 +87,9 @@ \section{Bakgrund}
8887
\section{Projektets mål}
8988

9089
Tanken med detta kandidatarbete är att angripa fysik från ett funktionellt
91-
programmeringsperspektiv På detta sätt är förhoppningen att fysik ska bli både
92-
roligt och intressant för datastudenter, och därmed förhoppningsvis också
93-
enklare. Detta är likt premissen bakom kursen DSLsofMath och kandidatarbetet
90+
programmeringsperspektiv. Förhoppningen är att fysik ska bli både
91+
roligt och intressant för datastudenter, och därmed också
92+
enklare. Detta liknar premissen bakom kursen DSLsofMath och kandidatarbetet
9493
från 2016, som istället för fysik behandlade matematik respektive signallära.
9594

9695
Mer konkret ska ovanstående genomföras genom att skapa ett läromaterial.
@@ -130,6 +129,6 @@ \section{Avgränsningar}\label{sec:avgransningar}
130129
ett pedagogiskt perspektiv, bra sätt. Denna avgränsning valdes eftersom hur
131130
innehållet kan se ut är intressantare än att det är skrivet på det mest
132131
pedagogiska sättet. Den pedagogiska aspekten kommer inte ignoreras helt. Fokuset
133-
på den kommer bara vara mindre.
132+
på den kommer bara att vara mindre.
134133

135134
\end{draft}

Rapport/include/Metod.tex

Lines changed: 7 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -26,9 +26,7 @@ \chapter{Genomförande}
2626

2727
\section{Konstruktion av läromaterialet}\label{sec:konstruktion}
2828

29-
\textbf{TODO: Rätt värde?}
30-
31-
Läromaterialet består av 6 kapitel som vardera behandlar separata
29+
Läromaterialet består av 5 kapitel som vardera behandlar separata
3230
områden. Skapandet av varje kapitel skedde därför till största delen fristående
3331
från andra kapitel. Skapandet av kapitlena bestod i sin tur av tre faser,
3432
som såg likadana ut för alla kapitel. Dessa faser var sökande efter område,
@@ -90,7 +88,7 @@ \subsection{Sökande efter områden att behandla}\label{sec:valet}
9088
\subsubsection*{Kontakt med fysikläraren}
9189
\label{sec:kontakt_faldt}
9290

93-
Fäldt befrågades om vilka områden han i allmänhet anser studenter har
91+
Fäldt tillfrågades om vilka områden han i allmänhet anser studenter har
9492
svårt för. Detta för att i enlighet med projektets mål börja med de, för
9593
studenterna, problematiska områdena. Enligt Fäldt är ett allmänt problem att
9694
egna mentala modeller för problem är felaktiga eftersom studenter ofta tar
@@ -123,7 +121,7 @@ \subsubsection*{Studerande av kursbok och kursmaterial}
123121
språk av och hur det skulle kunna se ut. Experimenten visade att enbart vissa
124122
områden, till exempel vektorer, fungerade bra att göra ett domänspecifikt språk
125123
av. Andra områden, till exempel lutande plan, var mindre lämpliga. Förenklat
126-
sagt var enbart områden med tydlig data och tydliga operationer lämpade. Detta
124+
sagt var enbart områden med tydliga data och operationer lämpade. Detta
127125
diskuteras utförligare i avsnitt~\ref{sec:lampligt}. Det framgick också att det
128126
blev överlapp mellan olika domänspecifika språk trots att områdena var fristående.
129127
Ett exempel var det domänspecifika språk för partikelmekanik som till stor del
@@ -139,7 +137,7 @@ \subsubsection*{Områden som valdes ut}
139137

140138
När kunskap inhämtats om olika områden kunde ett urval göras. De områden som
141139
identifierades som grundläggande och hade en väl lämpad struktur (se
142-
avsnitt~\ref{sec:lampligt}) valdes ut. Med detta som grund blev det de följande områdena som valdes.
140+
avsnitt~\ref{sec:lampligt}) valdes ut. Med detta som grund blev områdena som valdes ut dimensioner, matematisk analys och vektorer. Här följer en kortfattad motivering av valet av dem.
143141

144142
\textit{Dimensioner} eftersom det är viktigt för studenter att förstå sig på
145143
hur dimensioner påverkas av algebraiska operationer. Det kan också vara
@@ -149,8 +147,8 @@ \subsubsection*{Områden som valdes ut}
149147
\textit{Matematisk analys} eftersom alla koncept i klassisk mekanik är
150148
relaterade genom matematisk analys. Mer specifikt används
151149
differenser\footnote{Till exempel används $\Delta(x)$ för att beskriva
152-
förflyttning i $x$-led} för att beskriva medelrörelse, och infinitesimalkalkyl
153-
för att beskriva momentanrörelser. Vidare var infinitesimalkalkyl just det
150+
förflyttning i $x$-led} för att beskriva medelrörelse, och infinitesimaler
151+
för att beskriva momentanrörelser. Vidare var matematisk analys just det
154152
område som Fäldt pekade ut som speciellt viktigt och något som studenter har
155153
svårt för.
156154

@@ -161,7 +159,7 @@ \subsubsection*{Områden som valdes ut}
161159

162160
De komposita områdena identifierades som områden som byggde vidare på de redan
163161
implementerade grundläggande områdena. Det komposita områdena som valdes ut
164-
blev:
162+
blev exempelproblem och partikelmekanik. Här följer en kortfattad motivering av valet av dem.
165163

166164
\textit{Exempelproblem} för att visa hur ett par typuppgifter i klassisk mekanik kan modelleras i läromaterialets domänspecifika språk. Närmare bestämt tillämpas de domänspecifika språken på \textit{krafter på lådor} och \textit{gungbräda}.
167165

0 commit comments

Comments
 (0)