2D1371 Automatteori
Kursanalys VT07
Kursdata
- Kurs: 2D1371 Automatteori, 4p.
- Omgång: VT07, Period 4
- Kursledare: Dilian Gurov
- Kursformat: 30tim. lektioner (föreläsningar blandade
med övningar)
- Antal registrerade elever: 10
- Antal direkt avhoppade elever: 0
- Kurslitteratur: Dexter Kozen: Automata
and
Computability, Springer, 1997.
- Moment: TEN1, 4p.
- Elever som klarat kursen: 5
- Prestationsgrad efter första examinationstillfället:
5: 2, 4: 0, 3: 3, U: 2
- Examinationsgrad efter första examinationstillfället:
71%
Mål
The aim of the course is to provide students with a profound
understanding of computation and effective computability through the
abstract notion of automata and the language classes they recognize.
Along with this, the students get acquainted with the important
notions of state, nondeterminism and minimization, and acquire the
important skills to prove whether a language is or isn't regular or
context-free, and
whether a problem is decidable or not.
Förändringar inför denna kursomgång
Inga.
Sammanfattning
Jag är nöjd med hur kursen gick i år, men det minskande
antalet studenter oroar mycket.
Undervisningen
Jag brukar blanda föreläsningar med övningar.
Examination
Examinationen består av en skriftlig tenta. De flesta problem
är av konstruktionsharaktär. Dessutom testar några
problem förståelsen av de tre
viktigaste teorem i kursen: Myhill-Nerode, Chomsky-Schützenberger
och Rice's Theorem. Detta kom något överaskande och
resultatet på denna problem var sämre än på
resten av tentan. Själva tentan (med lösningar) finns här.
Kurslitteratur
I kursen används boken Automata
and
Computability av Dexter Kozen, Springer,
1997. Boken passar bra min undervisningsstil. Det enda studenterna
ibland klagar om är det relativt låga antalet lösta
problem i boken, men detta kompenseras av många andra lösta
problem som jag har förberett.
Elevenkät
Studenterna gav höga betyg på
nästan alla frågor. Ett konkret
förbättringsföreslag är att ha mer övningstid.
Hela kursutvärderingen
finns här.
Kursens belastning för eleverna
Enligt min uppfattning är studenterna inte särskilt belastade
under kursen. De gör tre hemuppgifter under kursen - en efter
varje kursdel.
Förkunskaper
Förkunskaper
som är väsentliga för kursen är Diskret Matematik
och Logik. De flesta studenter verkade ha tillräckliga
förkunskaper.
Verkligt kursinnehåll
Det verkliga kursinnehållet kan ses på följande länk.
Övrigt
En sådan kurs borde vara obligatorisk på varje datalogisk
curriculum, men är tyvärr inte obligatorisk här.
Planerade förändringar
Inga: efter flera omgångar är kursen stabil.