Moment 1, teoridel, 4,5 högskolepoäng
Kursen behandlar, på en översiktlig nivå, grundläggande algoritmteori och datatypteori, programspråksteori samt automatteori, beräkningsteori och formella språk.
Moment 2, laborationsdel, 3 högskolepoäng
Delmomentet utgörs av en laborationskurs med ett antal obligatoriska inlämningsuppgifter
Förväntade studieresultat
Efter avslutad kurs ska studenten kunna:
- förklara och använda grundläggande mängdteoretiska begrepp
- redogöra för och beskriva grundläggande beräkningsteoretiska begrepp såsom parse-träd, automat, determinism, funktion, slutning, Chomskys normalform, beräkningsbarhet,
- redogöra för enkla reguljära uttryck, ändliga automater, kontextfria grammatiker, stackautomater och Turingmaskiner
- förklara hur komplexiteten för olika typer av problem påverkar möjligheten att lösa dem med hjälp av dator
- resonera kring programspråk utifrån de fyra programmeringsparadigmen
- redogöra för designkriterier för namn, bindningar, typkontroll, räckvidd, datatyper, tilldelning, kontrollstrukturer, subprogram samt abstrakta datatyper
- utvärdera programspråk utifrån ovan nämnda designkriterier
Behörighetskrav
Univ: För tillträde till kursen krävs kursen Programmeringsmetodik med inriktning mot kognition, (TDBA70/5DV046) eller motsvarande kunskaper.
Undervisningens upplägg
Undervisningen bedrivs i form av föreläsningar och övningar samt handledning i samband med laborationsuppgifter.
Examination
Examinationen sker dels genom skriftlig tentamen (på teoridelen) dels genom ett laborationsmoment. På en skriftlig tentamen sätts något av betygen Underkänd (U), Godkänd (G) eller Väl godkänd (VG). På laborationsmomentet ges endast betygen Underkänd (U) eller Godkänd (G).
På hela kursen ges något av betygen Underkänd (U), Godkänd (G) eller Väl Godkänd (VG). För att bli godkänd på hela kursen krävs att samtliga prov och obligatoriska moment är godkända. Betyget utgör en sammanfattande bedömning av resultaten vid examinationens olika delar och sätts först när alla obligatoriska moment är godkända. Studerande som godkänts i ett prov får inte undergå förnyat prov för att få ett högre betyg.
För studerande som inte godkänns vid ordinarie provtillfälle anordnas ytterligare provtillfälle. En student som utan godkänt resultat har genomgått två prov för en kurs eller en del av en kurs, har rätt att få en annan examinator utsedd, om inte särskilda skäl talar emot det (HF 6 kap. 22 $). Begäran om ny examinator ställs till styrelsen för Institutionen för datavetenskap.
TILLGODORÄKNANDE
Denna kurs kan ej räknas i examen samtidigt som kursen Datavetenskapens grunder (KOGB03/5DV061) eller kursen Datavetenskapens grunder (TDBA64) eller kursen Programspråksteori (TDBB34/5DV066).
Litteratur
Litteraturlistan är inte tillgänglig via den webbaserade utbildningskatalogen.
Kontakta aktuell institution.
