DAB760 Språk och logik

Schema
Datum
Tid
Sal
 Innehåll Litteratur Lärare Material
1
26/3
13-15
Bessel
 Introduktion
JoN
 intro.pdf
2
2/4
13-15
Bessel
 Finita automater Aho & Ullman 10.1-10.4
SE
 Material
3
11/4
8-10
Bessel
 Reguljära uttryck Aho & Ullman 10.5-10.10
SE
 Material
4
23/4
13-15
Bessel
 Kontextfria grammatiker Aho & Ullman 11.1-11.5
JeN
 Material
5
7/5
13-15
Bessel
 Parsning med kontextfria grammatiker Aho & Ullman 11.6-11.9
JeN
 Material
6
14/5
13-15
Bessel
 Predikatlogik 1 Aho & Ullman 14.1-14.4
JeN
 Material
7
21/5
13-15
Bessel
 Predikatlogik 2 Aho & Ullman 14.5-14.11
JeN
 Material
8
28/5
13-15
Bessel
 Språkteknologiska tillämpningar
Avslutning
JeN/JoN

Lärare: Joakim Nivre (JoN), Susanne Ekeklint (SE), Jens Nilsson (JeN)

Tentamen: 4 juni, 8-13

Omtentamen: augusti

En gammal tenta med facit.

Kurskrav

Litteratur