Allmänt

Kursen är en fristående kurs. Den ingår dessutom som obligatorisk kurs i Språkteknologiprogrammet. Kursplanen är fastställd av språkvetenskapliga fakultetsnämnden 2007-04-26. Kursplanen gäller från och med 2008-07-01.

Behörighetskrav

Introduktion till datateknik för språkvetare 7,5 hp. och Semantik och pragmatik 7,5 hp.

Mål

Syfte: Kursen ger en introduktion till matematiska teorier och modeller av stor relevans för språkteknologiska tillämpningar, i synnerhet diskret matematik och statistik.

Efter avslutad kurs skall studenten för att förtjäna betyget Godkänd minst kunna:

- redogöra för och tillämpa grundläggande mängdteoretiska begrepp såsom mängd, element, delmängd, snitt, union, komplement och mängdprodukt

- redogöra för och tillämpa de matematiska relations- och funktionsbegreppen samt därtill hörande begrepp såsom domän, värdemängd, reflexivitet, asymmetri, transitivitet, ordningsrelationer och komposition av funktioner

- redogöra för och tillämpa grundläggande grafteoretiska begrepp såsom nod, båge, graf (riktad och oriktad), cykel, rot och träd

- redogöra för och tillämpa grundläggande begrepp i formell språkteori såsom alfabet, strängar och språk

- översiktligt redogöra för reguljära språk och metoder för att karakterisera sådana språk (reguljära uttryck, finita automater)

- översiktligt redogöra för kontextfria språk och metoder för att karakterisera sådana språk (kontextfria grammatiker)

- redogöra för grundläggande begrepp i sannolikhetsteori såsom utfallsrum, händelserum, sannolikhet (enkel och betingad) och oberoende

- tillämpa sannolikhetsteoretiska definitioner, axiom och teorem såsom Bayes lag och lagen om total sannolikhet för att lösa enkla problem

- översiktligt redogöra för grundläggande statistiska begrepp såsom stickprov, stickprovsvariabler och populationsvariabler

- översiktligt redogöra för de vanligaste formerna av statistisk inferens,

i synnerhet olika typer av skattning

Innehåll

Kursens första del behandlar grundläggande mängdteori, relationer och funktioner samt grafteori. Kursens andra del ger en introduktion till formell språkteori med fokus på reguljära och kontextfria språk. Kursens tredje del behandlar grundläggande sannolikhetsteori och ger en kort orientering om statistiska metoder för skattning och hypotesprövning.

Undervisning

Undervisningen sker i form av lektioner och laborationer under handledning.

Examination

Kunskapskontroll sker genom muntligt och/eller skriftligt redovisade uppgifter och/eller tentamen. Läraren kan som del av examinationen kräva obligatorisk närvaro och aktivt deltagande vid undervisningsmoment. Kurskraven meddelas skriftligen av kursansvarig vid kursens start.

Fördjupning i förhållande till examensfordringarna

Nivå B. Termin 3 eller 4 på Språkteknologiprogrammet.

Övriga föreskrifter

Kursen får ej medtagas i examen som fristående kurs om motsvarande moment lästs inom annan i examen medtagen kurs.

Kurslitteratur:

Eriksson, K. och Gavel, H. (2002) Diskret matematik och diskreta modeller. Studentlitteratur.

Ytterligare material kan tillkomma.