Kursöversikt

Detaljschema med föreläsningsanteckningar och deadlines.

Samtliga deadlines för icke-betygshöjande laborationer 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.

Betygshöjande labbar ger inte betyg om de lämnas in eller redovisas efter deadline.
Bonusdatum finns för F2 och S1, men övriga obligatoriska labbar (S2, W1) har inga bonusdatum. Att göra klart en uppgift med bonusdatum innan eller på sitt bonusdatum ger lite mer utrymme för fel på mästarprovet.

Nedan följer en tabell över föreläsningar och rekommenderade förberedelser.

Datum	Föreläsning	Rekommenderade förberedelser och dokumentation
13:e januari.	Introduktionsföreläsning (av Marcus Dicander)	Slides.
16:e januari.	Funktionell Programmering 1: Haskell, funktioner, rekursion, listor, oändliga listor och listomfattningar (List comprehensions)	Slides och kod. Learn Haskell in 10 minutes. Förra året: Föreläsningen på youtube med svensk text.
20:e januari	Funktionell Programmering 2: Typer och typklasser.	Slides. Zeroes in javascript wat
23:e januari	Funktionell programmering 3: Högre ordningens funktioner.	Gamla Slides Datatyper, biten vi inte hann med från förra veckan. Nya slides om funktioner. Kod
29:e januari.	Funktionell programmering 4: Monader	Monads are not... Bra grund att stå på. Slides i introduktionen. Gamla Slides (historiskt intresse). Option i Rust. Optional i Java. Maybe i Elm Gamla tentor i kursen finns här: tentor och kontrollskrivningar.. Animation av fiskar. Populär video om Haskell. https://github.com/dicander/attack-of-the-monads
16:e februari	Syntax 1 (av Karl Palmskog)	slides från 2026 inspelning från 2022 Kursbok: Hopcroft, Motwani, Ullman. Introduction to Automata Theory, Languages, and Computation (3rd ed.). Pearson. ISBN 978-1292039053. Förkortas IALC. Läsanvisningar till kursboken. Se även referenser till IALC från slides. Ordlista med nyckelbegrepp i syntax
17:e februari	Syntax 2	slides från 2026 inspelning från 2022 DFA-exekveringsexempel av Per Austrin
23:e februari	Syntax 3	slides från 2026 inspelning från 2022 miniräknarexempelkod i Java binärträdsexempelkod i Java
24:e februari	Syntax 4	slides från 2026 inspelning från 2022 DPDA-exekveringsexempel av Per Austrin binärträdsexempelkod i Java med JFlex och Cup För grammatiker, se definition och exempel för BNF-notation Mer utförlig vidareläsning/komplement: Drakboken om kompilatorkonstruktion
16:e mars	Syntax övningstillfälle 1	samma innehåll som övriga övningstillfällen i syntax PDF med övningsuppgift och lösning Extern PDF med fel om rekursiv medåkning listan av tidigare mästarprov
17:e mars	Syntax övningstillfälle 2	samma innehåll som övriga övningstillfällen i syntax, se ovan
18:e mars	Syntax övningstillfälle 3	samma innehåll som övriga övningstillfällen i syntax, se ovan
26:e mars	Syntax 5: Mästarprovet i Syntax lämnas ut. Mästarprovet presenteras under föreläsningen som inkluderar en frågestund om mästarprovsproblemen.	slides från 2026 formativt övningsquiz om syntaxdelen tidigare mästarprov i syntax
27:e mars	Internetprogrammering (av Vahid Mosavat)	progp26F1.pptx enfil.txt formular.html indata.txt index.html lista.html lista2.html mystyle.css Server1.java Server2.java Server3.java Server4.java Server5.java plus.zip (canvas vägrade ladda upp php-filer, därför kippade jag dem)
30:e mars	Internetprogrammering 2.	f1.php palindrom.php palindrom.php palindrom_try.php progp24F2.pdf progp24F2.pptx req_method.php req_method.php index.php login.php tictactoe.php tictactoe_functions.php rensa.php
13:e april	Paradigm 1 (Marcus Dicander): Programmeringsparadigmens historia, exempel på paradigm	(Robert W. Floyd:s Turing-föreläsning.) Slides. How Snowden would hack the Swedish election https://link.springer.com/chapter/10.1007/978-3-319-68687-5_17
15:e april	Paradigm 2: Turingmaskiner, Lambdakalkyl, Von Neumann-modellen.	Slides finns här. Accidentially Turing Complete. Från efterdiskussionerna: Notes on the analytical engine. Alan Turings berömda papper: On computable numbers, with an application to the Entscheidungsproblem. Information om hur mästarproven kommer att gå till kommer också här.
7:e maj	Gästföreläsning i Litterär programmering (av Daniel Bosk)	F2 på campus eller online i Zoom Slides: Literate Programming Lecture notes: Literate Programming Sources for above
Efter kursens avslut.	Alla föreläsningar i funktionell programmering, paradigm och syntax finns på Youtube: https://www.youtube.com/@programmering och Marcus håller ibland öppna föreläsningar om Haskell i Stackens regi.

Viktiga datum för laborationer:

Datum	Aktivitet
20:e januari	Om du vill göra uppvärmningslabben F1 så rekommenderas det att sätta igång nu.
23:e januari	Det rekommenderas att sätta igång med labb F2 (obligatorisk) nu så att den blir klar senast då mästarprovet i funktionell programmering lämnas ut.
10:e februari	Det rekommenderas att sätta igång med den betygshöjande labb F3 nu.
17:e februari	Deadline för bonus på F2 är idag 18:00. Tiden för issuet på Git gäller. Det går att redovisa F2 efter detta datum men då utan bonus. F2 ger utrymme för ett extra mindre fel på högst ett av mästarproven i funktionell programmering och paradigm. Du rekommenderas att börja med labb S1 nu.
24:e februari	Deadline för bonus på S1 är 18:00. Tiden för issuet på Git gäller. Det går att redovisa S1 efter detta datum men då utan bonus.
27:e mars	Det rekommenderas att börja med labb S2 nu.
31:a mars	Det rekommenderas att börja med labb W1 nu.
16:e april	Det rekommenderas att börja med X1 och X2 denna dag om inte förr.
27:e april	Det rekommenderas att vara klar med S2 nu. Det rekommenderas att börja med den betygshöjande labben S3 nu.
8:e maj	Det rekommenderas att vara klar med labb W1 nu.
19:e maj	Deadline för de betygshöjande laborationerna F3, S3, X1 och X2. Observera att detta är en hård deadline och att allt ska vara redovisat och klart denna dag senast.
Tidigt i juni	Labbveckan är sista chansen att redovisa labbar om ni vill ha dem inrapporterade på årets kursomgång. Observera att labbveckan är reservtid och att det rekommenderas att göra klart alla obligatoriska labbar under kursen.
Efter labbveckan	När kursen och labbveckan är över så går det inte att redovisa någonting. Om ni har moment kvar, be studentexpeditionen att omregistrera er till nästa omgång som beräknas gå vårterminen 2027.

Viktiga datum för mästarprov:

Datum	Vad händer
29:e januari	Mästarprovet i funktionell programmering lämnas ut.
5:e februari	Deadline klockan 18:00 för att lämna in mästarprovet.
14:e mars	Deadline för att redovisa den muntliga delen av mästarprovet i funktionell programmering. Efter detta datum hänvisas de som inte har redovisat till ommästarprovet.
26:e mars	Syntax 5: Mästarprovet i Syntax lämnas ut. Mästarprovet presenteras under föreläsningen som inkluderar en frågestund om mästarprovsproblemen.
1:a april	Deadline för mästarprovet i Syntax klockan 18.00. Information om hur du bokar in dig inför muntan kommer att anslås på Canvas.
22:a april klockan 18.	Mästarprovet i paradigm lämnas ut.
29:e april klockan 18.	Deadline för mästarprovet i paradigm.
18:e maj klockan 18.	Ommästarproven i Syntax och funktionell programmering lämnas ut. Om du har klarat ett mästarprov eller (för studenter från tidigare kursomgångar) kontrollskrivning/tentadel som motsvarar de olika delarna så behöver du inte redovisa om den delen. Syntax har speciella regler kring mästarprovsdelar.
25:e maj kl 18.	Deadline för att lämna in ommästarproven. Information om hur du bokar in dig inför muntan kommer att anslås på Canvas.
7:e augusti kl 18.	Ommästarprovet i Paradigm lämnas ut.
14:e augusti klockan 18.	Deadline för skriftliga inlämningen för det extra ommästarprovet i paradigm. Muntliga redovisningar följer kort därefter.
Efter kursens avslut	Nästa chans att göra ett mästarprov är nästa kursomgång. Lycka till!