Sök i programutbudet

Använd sökfunktionen för att leta efter kurser och program i Chalmers utbildningsutbud. Den programplan och utbildningsplan som avser dina studier är i allmänhet från det läsår du började dina studier.

​​​​​​​​​​​​​

Kursplan för

Läsår
TDA555 - Introduktion till funktionell programmering  
Introduction to functional programming
 
Kursplanen fastställd 2018-02-13 av programansvarig (eller motsvarande)
Ägare: TKDAT
7,5 Högskolepoäng
Betygskala: TH - Fem, Fyra, Tre, Underkänd
Utbildningsnivå: Grundnivå
Huvudområde: Datateknik, Informationsteknik
Institution: 37 - DATA- OCH INFORMATIONSTEKNIK


Undervisningsspråk: Engelska
Sökbar för utbytesstudenter: Nej

Modul   Poängfördelning   Tentamensdatum
Lp1 Lp2 Lp3 Lp4 Sommarkurs Ej Lp
0104 Laboration 3,0hp Betygskala: UG   3,0hp    
0204 Tentamen 4,5hp Betygskala: TH   4,5hp   31 Okt 2018 em L,  07 Jan 2019 em SB   20 Aug 2019 fm SB  

I program

TKDAT DATATEKNIK, CIVILINGENJÖR, Årskurs 1 (obligatorisk)

Examinator:

David Sands


  Gå till kurshemsida

Behörighet:

För kurser på grundnivå inom Chalmers utbildningsprogram gäller samma behörighetskrav som till de(t) program där kursen ingår i programplanen.

Syfte

Detta är en introduktionskurs i programmering som använder det funktionella programmeringsspråket Haskell. Det primära syftet är att lära ut grundläggande datavetenskapliga begrepp, samtidigt som studenterna lär sig skriva realistiska (små) program. Sekundära mål är att ge en grund för kommande kurser (specifikt datastrukturer, algoritmer, digitala kretsar, formella metoder och kurser i programspråk), samt att ge en inblick i karriärsmöjligheter inom data genom inbjudna talare.

Lärandemål (efter fullgjord kurs ska studenten kunna)

  • beskriva grundläggande begrepp inom modern funktionell programmering, såsom: datatyper, funktioner inklusive högre ordningens funktioner, lat evaluering, oändliga datastrukturer
  • beskriva en grundläggande uppsättning av programmeringstekniker, såsom: rekursion, testning, användning av datatyper för modellering och problemlösning
  • skriva små funktionella program för olika tillämpningar
  • strukturera program så att de blir lätta att förså och förändra, genom lämplig användning av datatyper, abstraktion, och återanvändbar kod
  • genomföra effektiv testning av funktionella program med hjälp av lämpliga verktyg
  • visa färdigheter att i olika programmeringssammanhang bedöma vilka programmeringstekniker som lämpar sig bäst för att lösa det aktuella problemet

Innehåll

Detta är en introduktionskurs i programmering som använder ett funktionellt programmeringsspråk. Det primära syftet är att lära ut grundläggande datavetenskapliga begrepp, samtidigt som studenterna lär sig skriva små program. Sekundära mål är att ge en grund för kommande kurser (specifikt datastrukturer, algoritmer, formella metoder och kurser i programspråk).

Specifika ämnen som behandlas i kursen är:
  • värden, typer och funktioner
  • sammansatta datastrukturer (listor, tupler, användardefinierade typer)
  • högre ordningens funktioner
  • användning av abstraktionsmekanismer för att undvika repetitiv programmering
  • rekursion och rekursiva datatyper
  • effektiva och ineffektiva program
  • input-output
  • verifiering med hjälp av testning

Organisation

Undervisningen består av föreläsningar, gruppmöten samt handledda programmeringsövningar.
Kursen kan komma att ges på svenska eller engelska.

Studenter som redan har programmeringskunskaper uppmuntras att välja DIT143/TDA452 Funktionell programmering istället. Kursen kan inte ingå i en examen där kursen DIT143/TDA452 ingår, inte heller i en examen som baseras på en annan examen där DIT143/TDA452 ingår.

Litteratur

Se kurshemsidan för detaljer.

Examination inklusive obligatoriska moment

Kursen examineras genom en individuell skriftlig salstentamen, samt ett antal obligatoriska laborationer som normalt genomförs i grupp om 2-3 studenter.


Sidansvarig Publicerad: on 24 jan 2018.