Skip to content

Commit f0fcb46

Browse files
author
Oskar Lundström
committed
Mindre språkändringar i de två sista avsnitten i teorin
1 parent 705d150 commit f0fcb46

File tree

1 file changed

+27
-27
lines changed

1 file changed

+27
-27
lines changed

Rapport/include/Teori.tex

Lines changed: 27 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -159,8 +159,8 @@ \section{Litterat programmering och Literate Haskell}\label{sec:lhs}
159159

160160
Det ena sättet är att jämfört med traditionella program får dokumentationen en
161161
ökad betydelse. I traditionella program är programkoden den viktiga delen. I
162-
litterata program däremot är dokumentationen minst lika viktig. Den används till
163-
att förklara koden, sätta den i relationen till andra delar och så vidare.
162+
litterata program är däremot dokumentationen minst lika viktig. Den används till
163+
att förklara koden, sätta den i relationen till andra delar, med mera.
164164
Detta jämnbördiga förhållande syns konkret genom att titta på hur källkoden är
165165
skriven i ett literat program. Det kan till exempel se ut som i
166166
figur~\ref{fig:litterate_haskell_exempel} där man ser att källkoden och
@@ -178,20 +178,20 @@ \section{Litterat programmering och Literate Haskell}\label{sec:lhs}
178178
> exampleValue :: ExampleType
179179
> exampleValue = Quantity V.length 5.3
180180

181-
Note that the Quantity data type has both value-level and type-level dimensions.
182-
As previosuly mentioned, value-level in order to pretty print and type-level to only permit legal operations.
181+
Note that the Quantity data type has both value-level and type-level dimensions. As previosuly mentioned, value-level in order to pretty print and type-level to only permit legal operations.
183182
\end{lstlisting}
184183
\caption{Ett exempel på hur en källfil till litterat programmering kan se ut.
185184
Exemplet är Litterate Haskell. Rader som börjar med \texttt{>}
186185
markerar att det är progamkod, medan rader utan markerar att det är
187186
dokumentation.}\label{fig:litterate_haskell_exempel}
188187
\end{figure}
188+
% OBS! Raden med "note that the quantity..." måste vara en lång rad. Annars blir det fel i PDF:en
189189

190190
Det andra sättet ett litterat program skiljer sig åt är ordningen programkoden
191191
står i. Traditionell programmering börjar oftast med att definiera små funktioner
192-
och metoder med snäva användningsområden och använder sen dessa för att senare
192+
och metoder med snäva användningsområden och använder sedan dessa för att senare
193193
bygga ihop mer komplexa strukturer. Med literat programmering börjar man hellre
194-
med den komplexa strukturer först och skriver text som förklarar den generella
194+
med komplexa strukturer först och skriver text som förklarar den generella
195195
struktureren utan att gå in på detaljerna, för att sedan presentera de små
196196
delarna var för sig med tillhörande förklarande text.
197197

@@ -203,8 +203,8 @@ \section{Litterat programmering och Literate Haskell}\label{sec:lhs}
203203
ignoreras och programkoden behandlas som om den var en vanlig
204204
Haskell-fil. \texttt{.lhs}-filen kan också kompileras till material avsett för
205205
mäniskor. Det finns flera verktyg som gör det men det som används i detta
206-
projekt är \textit{Pandoc}\cite{pandoc}. Med \textit{Pandoc} kan texten märkas
207-
up med både \texttt{markdown} (används i projektet) och \texttt{Latex}. Det går
206+
projekt är \textit{Pandoc}\cite{pandoc}. Med Pandoc kan texten märkas
207+
up med både \textit{Markdown} (används i projektet) och \textit{Latex}. Det går
208208
att exportera till bland annat HTML och PDF.
209209
\end{draft}
210210

@@ -217,10 +217,10 @@ \section{Att skapa motiverande läromaterial}\label{sec:arcs}
217217
av tillfredsställelsen att få att högt betyg.
218218

219219
\textit{Motiverande design} innebär att systematiskt utforma undervisningen på
220-
ett sådant sätt att studenten blir motiverad till att lära sig. Det handlar om
220+
ett sådant sätt att studenten blir motiverad till att vilja lära sig. Det handlar om
221221
att använda olika tekniker för att väcka och behålla motivation. Det finns ett
222222
flertal olika modeller för detta men i detta projekt används enbart den så
223-
kallade \textit{ARCS}-modellen.\cite{arcs_book}
223+
kallade \textit{ARCS-modellen}~\cite{arcs_book}.
224224

225225
\textit{ARCS} är en förkortning av ``Attention, Relevance, Confidence and
226226
Satisfaction'', på svenska ``uppmärksamhet, relevans, självförtroende och
@@ -234,7 +234,7 @@ \section{Att skapa motiverande läromaterial}\label{sec:arcs}
234234
sig. Det finns strategier för hur man genomför de olika delarna i praktiken och
235235
här följer en översikt för \textit{Attention}.\footnote{Eftersom projektet har
236236
ett begränsat fokus på de pedagogiska aspekterna, se
237-
avsnitt~\ref{sec:avgransningar}, har enbart \textit{Attention} tagits hänsyn till. Av det skälet är det enbart denna
237+
avsnitt~\ref{sec:avgransningar}, har enbart \textit{Attention} tagits hänsyn till. Av detta skäl är det enbart denna
238238
del beskriven här.}
239239

240240
För att fånga studentens uppmärksamhet och intresse finns tre allmäna
@@ -247,36 +247,36 @@ \section{Att skapa motiverande läromaterial}\label{sec:arcs}
247247
utforma en lektion som föreläsning, demonstration och sedan övning, utan variera
248248
det med andra inslag, exempelvis ett filmklipp.
249249

250-
251-
Utifrån det sociokulturella perspektivet som Vygotskij utvecklade\cite{LSB_kap5}
252-
så lär sig elever av varandra. Eleverna befinner sig vid sin proximala
250+
Utifrån det sociokulturella perspektivet som Vygotskij utvecklade~\cite{LSB_kap5}
251+
lär sig elever av varandra. Eleverna befinner sig vid sin proximala
253252
utvecklingszon, där eleverna kan hjälpa varandra att förstå innebörden av
254253
definitioner och uttryck genom att sätta ord på det de vill kommunicera. Denna
255-
typen av kommunikation skulle kunna tänkas hjälpa elever sätta fingret på det de
254+
typ av kommunikation skulle kunna tänkas hjälpa elever sätta fingret på det de
256255
inte förstår. Med denna bakgrunden skulle parprogrammering kunna vara
257-
fördelaktigt. Dels för att eleverna kan lära sig av varandra, att de genom att
256+
fördelaktigt. Dels för att eleverna kan lära sig av varandra, dels att de genom att
258257
kommunicera sin förståelse internaliserar ämnet och bygger en djupare
259258
förståelse. Parprogrammering lämpar sig antagligen även för att begränsa
260259
flyktförsök, där elever medvetet eller mindre medvetet börjar göra något annat.
261260

262261
%Jean Piaget - Kognitivismen (lära sig A, B, A + B -> C, alternativt att eleven utmanas med något den trodde var sant, och tvingas omformulera en lösning som stödjer den presenterade situationen). s157
263262

264263
Då internetplattformars interaktion med eleven är begränsad, i jämförelse med då
265-
eleven är i skolan och har tillgång till lärare, brukar internetbaserade
264+
eleven är i skolan och har tillgång till lärare, brukar internetbaserade
266265
läroplattformar förlita sig på behavioristiska element i form av rätt eller fel
267-
svar\cite{LSB_und}. Vårat läromaterial har visserligen ingen interaktiv sida,
266+
svar~\cite{LSB_und}. Projketets läromaterial har visserligen ingen interaktiv sida,
268267
men typsystemet i Haskell skulle ändå tänkas kunna fungera som en fingervisare
269-
när en gör rätt eller fel. Det går exempelvis inte att addera olika dimensioner
270-
på ett olämpligt sätt, och funktionskomposition fungerar endast om funktionens
271-
typdefinitioner (typer på argument och returvärde) stämmer överrens.
272-
273-
Evolutionärt sett har snabba belöningar varit fördelaktigt framför långsiktiga
274-
som kräver långsiktigt engagemang (ex.v öva inför en tenta) vilket beskrivs i
275-
boken ``Dansa på deadline: Uppskjutandets psykolog''\cite{DPD}. Detta är ännu en
276-
orsak till varför det är bra med belöning exempelvis i formen av glädje då en
268+
när studenten gör rätt eller fel. Det går exempelvis inte att addera olika fysikaliska dimensioner, och funktionskomposition fungerar endast om funktionens
269+
typdefinitioner (typer på argument och returvärde) stämmer överrens.
270+
271+
Evolutionärt sett har snabba belöningar varit fördelaktiga gentemot långsiktiga
272+
som kräver långsiktigt engagemang (exempelvis öva inför en tenta) vilket beskrivs i
273+
boken \textit{Dansa på deadline: Uppskjutandets psykolog}~\cite{DPD}. Detta är ännu en
274+
orsak till varför det är bra med belöning, exempelvis i formen av glädje då studenten
277275
ser att koden kompilerar. Läromaterialet innefattar även sporadiskt placerade
278276
roliga bilder, för att ge sporadiska reaktioner av glädje. Sporadiska belöningar
279277
är något som enligt författarna påverkar oss människor extra mycket, och som de
280-
menar även används inom ex.v. spelbranchen.
278+
menar även används inom exempelvis spelbranchen.
279+
280+
TODO: Flytta en del till genomförande.
281281

282282
\end{draft}

0 commit comments

Comments
 (0)