Teori blev blå

Author: erikdsjostrom

README.md

@@ -25,32 +25,21 @@ Klart tills måndag 16 april.
 Gör en överstrykning på saker när de är klara.
 
 - Annat
-    - ~~**O** Abstract/sammanfattning~~
+    - Formalia
+    - Sammandrag
+    - Översätt sammandrag till abstract
     - Slutsatser
 - Introduktion
-    - Fixa todos
+    - Fixa todos i bakgrund och allmän hyfsning
+    - Allmän hyfsning mål
+    - Allmän hyfsning avgränsningar
 - Teori
-    - ~~**O** ARCS~~
-    - ~~**B** Annan didaktik~~
-    - ~~**O** Syntax och semantik (se metod.impl hur det används)~~
 - Metod
-    - ~~**E** Implementation komposita~~
-    - ~~**O** Lärotext didaktik~~
-    - ~~**E** Lärotext komposita~~
-    - **J** Hemsidan
-    - ~~**O** Åke-möten~~
 - Resultat
-    - **~~E~~, J** Mer tekniskt stoff i analys och vektorer
-    - ~~**O** Vad vi fick ut från Åke-möte1 och Åke-möte2~~
 - DiskRes
-    - ~~**E** Expandera och proffesionalisera "fokus på fysik"~~
-    - ~~**E** Expandera och proffesionalisera DSL-lämpliga-områden~~
-    - ~~**E** Expandera och proffesionalisera DSL+fysik pedagogik~~
 - Diskussion
-    - **J** Metod och teorival: expandera befintligt (om det är vettigt) och lägg till. Kolla bedömningskriterier
-    - ~~**B** Lägg till till vidareutvecklingsmöjligheter~~
-    - ~~**B** Etik: om roligt och hemsidan som gör pedagogik enklare~~
-    - Diskutera vårt läromaterial enligt bedömningskriterier
+    - Genomförandediskussion
+    - Ingress till resultatdiskussion
 
 
 

Rapport/Makefile

@@ -5,7 +5,6 @@ default: Main.pdf
 
 Main.pdf:: \
 	include/Diskussion.tex \
-	include/DiskRes.tex \
 	include/Introduktion.tex \
 	include/Metod.tex \
 	include/Resultat.tex \

Rapport/include/Diskussion.tex

@@ -19,6 +19,10 @@ \chapter{Diskussion}
 Däremot löser det inte problem åt en. Man kan med andra ord inte mata in en
 differentialekvation och automatiskt få en lösning.
 
+TODO: Osäker på ovan. Vad exakt innebär ``problemlösning''? Varför är
+diffekv lösning problemlösning, men inte automatisk derivering (vilket
+görs i analys).
+
 Hur bra våra moduler blev samt varför de inte är problemlösare utan modellerare
 istället.
 

Rapport/include/Metod.tex

@@ -448,44 +448,36 @@ \subsection{Skriva lärotext}
 till  att implementera och lösa mer komplexa problem.
 
 \end{draft}
-\begin{binge}
+\begin{draft}
 
 \section{Skapande av och publicering på hemsidan}
 
-  Läromaterialet publiceras på en internethemsida, varpå man kan läsa
-  allt o ha skoj.
-
-  TODO: Slå ihop underrubriker till ett stycke.
-
-  \subsection{Beskrivning}
-
-  Ett build-script hämtar .lhs källfilerna, i vilka lärotexten är
-  skriven med markdown. Rendrar med pandoc, och sätter in lite
-  navigationselement etc. med hjälp av eget templating-system. Manuellt
-  läggs sedan stoffet på gh-pages branchen för att automatiskt visas på
-  dslsofmath.github.io/BScProj2018. \todo{Förklara templating, rendrar, branch}
-
-  Obs: Medan bygget är scriptat så är inte publiceringen det, och
-  ingenting genereras/publiceras automatiskt kontinuerligt. Måste köra
-  scriptet manuellt och lägga stoff på gh-pages branchen.
-
-  \subsection{Build-script}
-
-  I.e. implementation av python-build-scriptet i mer detalj.
+Läromaterialet kompilerades med hjälp av ett bygg-script och
+publicerades på en internethemsida. Bygg-scriptet anropar
+\textit{Pandoc} för att konvertera från källkod och text i Literate
+Haskell format till HTML, redo att visas på en hemsida. Pandoc
+packeterar även med \textit{MathJax} som använder JavaScript för att
+rendera matematiska formler i LaTeX format på fint och läsbart
+vis. Utan stöd för JavaScript skrivs matematik ut som omodifierad
+LaTeX kod, vilket är mer svårläst, men fortfarande tolkningsbart. Det
+skrevs även \textit{CSS} manuellt för att modifiera utseendet av
+hemsidan sådant att den blev mer fin och läsbar enligt
+projektmedlemmarna.
+
+Varje källfil betraktades som ett kapitel och publicerades som
+separata undersidor. Med hjälp av ett index beskrivet i bygg-scriptet
+konstruerades navigationselement mellan kapitel på varje undersida
+och en innehållsförteckning.
+
+För publicering lades all data producerad av bygg-scriptet i en ny git
+branch med namnet \texttt{gh-pages}. Att alla branches synkroniseras
+mot GitHub medför att alla filer på \texttt{gh-pages} branchen
+serveras som en hemsida med hjälp av \textit{GitHub
+  Pages}. Publiceringen skedde inte kontinuerligt eller automatiskt,
+utan krävde en manuell synkronisering vid varje önskad uppdatering av
+hemsidan.
 
-  TODO: Är detta ens intressant? Viktigt för att producera sidan såklart, men
-  inte intressant ur varken matte eller haskell/DSL perspektiv.
-
-  \subsection{Hemsidan}
-
-  TODO: Nåt om design, läslighet, grafik(?), navigation, avsiktligt undvikande
-  av javascript, etc.
-
-Från resultat: ska integreras här
-
-Hemsidan består av grundläggande HTML, CSS och javascript. På hemsidan finns en innehållsförteckning med klickbara länkar till de olika kapitlen. Hemsidan är öppen för alla och bör fungera i de flesta webläsare. Javascript är inget krav för hemsidan. Matematiska formler visas ändå, om än inte lika tydligt.
-
-\end{binge}
+\end{draft}
 \begin{draft}
 
 \section{Utvärdering med testgrupp}

Rapport/include/Resultat.tex

@@ -76,9 +76,15 @@ \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} konstrueras ett syntaxträd för algebraiska uttryck
-och funktioner. Därefter implementeras symbolisk derivering och integrering på
-syntaxträdet.
+I \textit{matematisk analys} behandlar differentialkalkyl och
+integralkalkyl inom 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
+integraler; och funktioner implementeras för att utföra dessa
+operationer både approximativt numeriskt, och symboliskt med
+syntaxträdet. Slutligen appliceras de implementerade funktionerna för
+att visualisera grafer av operationerna.
 
 \textit{Vektorer} behandlar vektorer och vektoroperationer. Vektorer modelleras
 som med hjälp av en typklass som dikterar vilka funktioner som varje

Rapport/include/Teori.tex

@@ -209,7 +209,7 @@ \section{Litterat programmering och Literate Haskell}\label{sec:lhs}
 \end{draft}
 
 \section{Att skapa motiverande läromaterial}\label{sec:arcs}
-\begin{binge}
+\begin{draft}
 Motivation är en persons vilja att göra något. I undervisningssammanhang vill
 man att studenten ska lära sig materialet. Studenten behöver alltså vara
 motiverad, att vilja, lära sig. Motivation kan ha flera källor. Till exempel att
@@ -260,7 +260,6 @@ \section{Att skapa motiverande läromaterial}\label{sec:arcs}
 förståelse. Parprogrammering lämpar sig antagligen även för att begränsa
 flyktförsök, där elever medvetet eller mindre medvetet börjar göra något annat.
 
-
 %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
 
 Då internetplattformars interaktion med eleven är begränsad, i jämförelse med då
@@ -281,4 +280,4 @@ \section{Att skapa motiverande läromaterial}\label{sec:arcs}
 är något som enligt författarna påverkar oss människor extra mycket, och som de
 menar även används inom ex.v. spelbranchen.
 
-\end{binge}
+\end{draft}