Detaljschema med föreläsningsanteckningar och deadlines.

Samtliga deadlines har klockslaget 18:00 och gäller när man skapar sitt issue med rubriken Redovisning i ett repo där en version som uppfyller nästan alla krav ligger. Det går att redovisa kort efter (normalt 1-2 veckor efter) deadline om labben var klar innan deadline och issuet var skapat.
Rekommenderat inlämningsdatum innebär att det är ett bra datum att sikta på men det ger inga konsekvenser för betyg eller högskolepoäng att missa dessa datum.
Deadline på de obligatoriska labbarna (F1, F2, INET, S1 och S2) betyder att du inte längre får bonuspoäng om du lämnar in efter detta datum, men du behöver fortfarande göra klart labben för att få godkänt i kursen.
Betygshöjande labbar får inte lämnas in efter deadline.

1. Onsdag 19:e Januari
   Intro (Marcus Dicander)
2. 20:e januari
   Funktionell Programmering 1 (Marcus Dicander) Komma igång med Haskell: Funktioner, rekursion, listor, oändliga listor och listomfattningar (list comprehensions).
   Slides och kod.
   Learn Haskell in 10 minutes (Länkar till en externa sida.).
   Förra året: Föreläsningen på youtube med svensk text (Länkar till en externa sida.).
3. 27:e januari.
   Funktionell Programmering 2 (Marcus Dicander) Typer och typklasser. Introduktion med talkonverteringar (Länkar till en externa sida.).
   Slides. (Zeroes in javascript och wat.)
4. 31:a januari.
   Funktionell programmering 3 (Marcus Dicander) Högre ordningens funktioner.
   Gamla Slides
   Datatyper, biten vi inte hann med från förra veckan (Länkar till en externa sida.)
   Nya slides om högre ordningens funktioner (Länkar till en externa sida.)
   KodLänkar till en externa sida.
5. 3:e februari.
   Funktionell programmering 4 (Marcus Dicander) Monader.
   Monads are not...
   Bra grund att stå på.
   Slides i introduktionen.
   Slides.
   Option i Rust. (Länkar till en externa sida.)
   Optional i Java. (Länkar till en externa sida.)
   Maybe i Elm (Länkar till en externa sida.)
6. 7:e februari
   Hur mästarproven går till.
   Funktionell programmering 5 (Marcus Dicander) Sammanfattning och fördjupning, Mästarprovet kommer att ha uppgifter som påminner om momentet det ersatte det vill säga tentor och kontrollskrivningar.Länkar till en externa sida.
   Slidesfinns här.
   Animation av fiskar (Länkar till en externa sida.).
   Populär video om Haskell. (Länkar till en externa sida.)
7. 14:e februari
   Paradigm 1 (Marcus Dicander) Programmeringsparadigmens historia (Robert W. Floyd:s Turing-föreläsning (Länkar till en externa sida.)), exempel på paradigm. Slides (Länkar till en externa sida.). How Snowden would hack the Swedish election https://link.springer.com/chapter/10.1007/978-3-319-68687-5_17
8. 17:e februari
   Paradigm 2 (Marcus Dicander) Turingmaskiner, Lambdakalkyl, Von Neumann-modellen.
   Deadline för F1 är idag 18:00. Denna dag ska labb F1 vara klar för extra utrymme för fel på mästarprovet. Tiden på issuet på Git gäller.
   Slides finns här.
   Accidentially Turing Complete (Länkar till en externa sida.).
   Från efterdiskussionerna: Notes on the analytical engine (Länkar till en externa sida.).
   Alan Turings berömda papper: On computable numbers, with an application to the Entscheidungsproblem (Länkar till en externa sida.)
9. 21:a februari
   Intnet22_1.pdf
    
    
10. 24:e februari (OBS! Föreläsningen uppskjuten till okänd tid på grund av sjukdom. Vi berättar under "Anslag" när vi vet var den kommer).
    Internet 2 Ladda ner Internet 2  (Vahid Movasat), filer från föreläsningen  json    sqlinjection     luffarschack
    
    Deadline F2. Denna dag klockan 18:00 ska labb F2 vara klar för extra utrymme för fel på mästarprovet.
11. 25:e februari
    Mästarprovet i funktionell programmering lämnas ut.
12. 4:e mars klockan 18.
    Deadline för att lämna in mästarprovet i funktionell programmering.
    Mästarprovet i paradigm lämnas ut.
13. 11:e mars klockan 18.
    Deadline för mästarprovet i paradigm.
14. 4:e april
    Syntax 1 (Karl Palmskog): slides inspelning
15. 11:e april
    Syntax 2 (Karl Palmskog): slides inspelning
    Mer utförlig vidareläsning: Hopcroft, Motwani, Ullman (2013). Introduction to Automata Theory, Languages, and Computation (Länkar till en externa sida.) (3rd ed.). Pearson. ISBN 978-1292039053.
    Online course on Automata Theory (Länkar till en externa sida.) by Jeff Ullman, Stanford University.
16. 25:e april
    Syntax 3 (Karl Palmskog): miniräknarexempelkod binärträdsexempelkod slides inspelning
17. 2:a maj
    Syntax 4 (Karl Palmskog): JFlexCupexempelkod slides inspelning
    Mer utförlig vidareläsning: Drakboken om kompilatorkonstruktion
18. 6:e maj
    Deadline för S1. Klockan 18:00. Issue på Git räknas.
19. 19:e maj
    Deadline för S2 samt betygshöjande laborationerna F3, S3, X1, X2. Klockan 18:00 Issue på Git räknas.
20. 20:e maj
    Mästarprovet i Syntax lämnas ut.
    Deadline för INET-labben är denna dag klockan 18.00. Den ger bonus på syntaxdelen.
21. 27:e maj
    Deadline för mästarprovet i Syntax klockan 18.00. Du får garanterad redovisningstid för den muntliga delen om du bokar tiden senast på måndag klockan 12.00. Bokning sker via REMORES. Om du har lämnat in ett mästarprov men missat att boka så går det att maila en sen anmälan till kursledaren, men då finns ingen garanterad plats. Sen anmälan blir samma som ordinarie anmälan detta mästarprov, dvs 30:e maj klockan 12.00.
22. 30:e maj-3:e juni.
    Redovisningstider för mästarprovet ges under denna vecka, under senare halvan. Efter 3:e juni går det inte att redovisa mästarprovet längre.
23. 4:e-11:e juni: Labbveckan är sista chansen att redovisa labbar om ni vill ha dem inrapporterade på årets kursomgång.
24. 3:e juni. Ommästarproven lämnas ut. Alla tre går parallellt. Om du har klarat ett mästarprov eller en kontrollskrivning/tentadel som motsvarar de olika delarna så behöver du inte redovisa om den delen.
25. 10:e juni kl 18. Deadline för att lämna in ommästarproven. Om du har lämnat in så behöver du också boka en tid för muntlig redovisning. Du får garanterad redovisningstid om du bokar tiden senast denna dag. Bokning sker via REMORES senast klockan 18. Efter denna dag går det att maila kursledaren om sen anmälan i mån om tid och deadline för detta är måndag 13:e juni klockan 12.00.
26. 13-17 juni. Muntliga redovisningar av ommästarproven sker denna vecka

När kursen och labbveckan är över så går det inte att redovisa någonting förrän nästa kursomgång som börjar VT2023. Välkomna åter då.

Nedan finns en sammanställning av labbarnas deadlines samt rekommenderat inlämningsdatum.

Mästarproven publiceras och har deadline:

1. 25:e februari
   Mästarprovet i funktionell programmering lämnas ut.
2. 4:e mars klockan 18.
   Deadline för att lämna in mästarprovet i funktionell programmering.
   Mästarprovet i paradigm lämnas ut.
3. 11:e mars klockan 18.
   Deadline för mästarprovet i paradigm.
4. 20:e maj
   Mästarprovet i Syntax lämnas ut senast klockan 18.00.
5. 27:e maj
   Deadline för mästarprovet i Syntax klockan 18.00.
6. 3:e juni
   Ommästarproven lämnas ut senast klockan 18.00.
7. 10:e juni
   Deadline för ommästarproven klockan 18.00.