Kursöversikt
Detaljschema med föreläsningsanteckningar, bonusdatum och deadline.
Materialet från föreläsningarna kommer att läggas upp här. Samtliga bonusdatum har klockslaget 23:59 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.
- Tisdag 19:e Januari
Intro (Marcus Dicander) - 21:a 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öreläsningen på youtube med svensk text. - 26:e januari.
Funktionell Programmering 2 (Marcus Dicander) Typer och typklasser. Introduktion med talkonverteringar.
Slides. (Zeroes in javascript och wat.) - 1:a februari.
Funktionell programmering 3 (Marcus Dicander) Högre ordningens funktioner.
Gamla Slides
Datatyper, biten vi inte hann med från förra veckan
Nya slides om högre ordningens funktioner
Kod - 4:e februari.
Funktionell programmering 4 (Marcus Dicander) Monader.
Monads are not...
Bra grund att stå på.
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.) - 8:e februari
Funktionell programmering 5 (Marcus Dicander) Sammanfattning och fördjupning, tentor och kontrollskrivningar.
Animation av fiskar (Länkar till en externa sida.).
Populär video om Haskell. (Länkar till en externa sida.) - 15: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.). - 18:e februari
Paradigm 2 (Marcus Dicander) Turingmaskiner, Lambdakalkyl, Von Neumann-modellen.
Bonusdatum F1. Denna dag ska labb F1 vara klar för bonus på KS:en.
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 - 22:a februari
Internet 1
- 25:e februari
Internet 2 (Vahid Movasat), filer från föreläsningen json sqlinjection luffarschack
Bonusdatum F2. Denna dag ska labb F2 vara klar för bonus på KS:en. - 2:a mars.
Gästföreläsning i Rust av Rasmus Kaj.
Zoom, Slides, markdown och exempelkod - 23:e mars.
Kontrollskrivning 1 - består av 2 delar.
Del 1 Funktionell programmering
Del 2 Programmeringsparadigm. - 29:e mars
Syntax 1 (Philipp Haller)
Zoom, Slides, Video, Virtual whiteboard notes - 12:e april
Syntax 2 (Philipp Haller)
Zoom, Slides, Video
Recommended further reading: Hopcroft, Motwani, Ullman (2013). Introduction to Automata Theory, Languages, and Computation (3rd ed.). Pearson. ISBN 978-1292039053.
Online course on Automata Theory by Jeff Ullman, Stanford University. - 19:e april
Syntax 3 (Philipp Haller)
Zoom, Slides, Video, kod-exempel: BinTreeParser.zip, Calculator.zip - 26:e april
Syntax 4 (Philipp Haller)
Zoom, Slides, Video, kod-exempel: BinTreeWithJFlexAndCup.zip - 30:e april
Bonusdatum S1 - 19:e maj
Bonusdatum S2 - 20:e maj
Kontrollskrivning Syntax. - 28:e maj
Bonusdatum för Inet/Sockets-labben. - 8:e juni
Tentamen - 10:e juni. Sista dagen på labbveckan 2021: Deadline för att redovisa betygshöjande uppgifter.
- Augustiperioden: Omtenta