TODO.org

DSLsOfMath

IN-PROGRESS Läs och sök fel i kursen DAT325’s material

Kursens [material](https://github.com/DSLsofMath/DSLsofMath) ligger på Github. Om vi hittar något felaktigt rättar vi felet och skickar en pull-request.

Tutorial

Patriks kommentarer under genomläsning 2016-05-30:

Signaler.html: “då enhetsimpulsen antar värdet 1” := “i den punkt där enhetsimpulsen inte är noll”. Eller skriv om på annat sätt.

Signaler.html: Fig. 12: “Kontinuerlig Enhetsteg” := “Kontinuerligt enhetssteg” + motsvarande för det diskreta.

LTI.html: Vad är ett “system”? Det verkar vara en funktion F : Signal a b -> Signal a b eftersom “boxarna” tar in funktionen x och ger ut funktionen y, men i övning 3 längre ned frågas bara om en viss signal är linjär eller ej.

LTI.html: Vad är typen “DiscSystem”? I koden är det lika med “DiscTimeFun” men det är inte korrekt. Ett exempel på ett “system” är F f = \t -> (f t + f (t-1))/2.

LTI.html: Definitionen av δ är fel: värdet i noll skall vara +Inf.

LTI.html: “utsignalen kan fås genom faltning av insignalen med impulssvaret” := “” tror jag.

LTI.html: Jag gillar inte definitionen av “diskret faltning”: varför har ni “wrap-around” i [n-k] när ni inte har det i det kontiuerliga fallet? Och varifrån kommer N?

LTI.html: Vänligen förklara att den partiella applikationen “(f *)” är ett LTI-system för varje f. Om f dessutom är lika med impulssvaret för ett LTI-system F så är F = (f *), dvs. y = F x = f * x.

LTI.html: Definitionen av discConvolution är fel.

LTI.html: “innan du går vidare till nästa kapitel!” - Länk till nästa kapitel saknas.

LTI.html: Jag tror att det här kapitlet skulle må bra av att delas i två delas: ett för LTI-system (+ lägg till ett par exempel, som glidande medelvärde) och ett för faltning.

Patriks kommentarer under genomläsning 2016-06-01:

Allmänt: Det ser mycket bättre ut nu!

Intro: länken från punkt 4 till Komplex.html är trasig.

Komplex: Förklara eller byt ut “undefined” i Övning 2

LTI: en figur har kvar “additativt”

LTI: “f * g(t)” := “(f * g)(t)” för tydlighets skull (2-3 gånger). Samma för x * h(t) strax innan.

Allmänt: Jag fixat några stavningsproblem direkt på sidorna.

Generellt

• Dela upp kursmaterial mellan deltagarna
• Läsa igenom ens del av kursmaterialet och anteckna oklarheter + grad av “implementerbarhet”
• Välj ett par delområden som är oklara men samtidigt bedöms implementerbara
• Designa och implementera DSL för de valda delområdena
• Specificera lagar som bör gälla
• Testa de lagar som kan testas med QuickCheck
• (Ev. bevisa någon eller några lagar.)
• (Om vi lyckas bra med projektet kanske vi alla blir medförfattare till en bok om “DSLsofMath” som kan bli kursbok för en senare omgång av kursen!)

Välj ett område som fokus för arbetet:

Projektet kommer fokusera på “Transformer, signaler och system” och “Reglerteknik”.

Deadlines

IN-PROGRESS Efterforskningar

• Intervjuer, grundläggande efterforskningar

om TSS och reglerkurserna klara.

• Pedagogik klart.

IN-PROGRESS Ett avsnitt för halvtidsredovisning

Två avsnitt klara

Text och uppgifter till två avsnitt klara.

Fyra avsnitt klara

Text och uppgifter till fyra avsnitt klara.

Alla (6) avsnitt klara

Uppgifter och utkast till alla (6) avsnitt klara.

Tutorial klar och testad

Rapport

Vid sidan av tutorialen kommer vi skriva en vetenskaplig rapport. Om tid finns kommer vi också försöka skriva en engelsk artikel om vårt projekt.

Deadlines

Fackspråkshandledningstillfälle 1

Planeringsrapport inlämning

Fackspråkshandledningstillfälle 2

Första utkast till rapporten klart

Andra utkast till rapporten klart

Rapporten klar (till Patrik för läsning 2016-05-12 kl. 13.00)

Fackspråkshandledningstillfälle 3

Första inlämningen

Rapporten till Patrik för sista läsning 2016-05-30 kl. 14.00)

Sista inlämningen

Presentationsmaterial (demo? poster? annat?)