UPPSALA UNIVERSITET
Matematiska institutionen
Vera Djordjevic

Automatateori och formella språk; hösten 2006

Allmän information

Aktuellt

Undervisning

Undervisningen består av dels 11 föreläsningar (dubbeltimmar) och ett antal lektioner som i antal varierar beroende på om man går ITP eller NvpMaDa. Föreläsningarna kommer att behandla teoridelen av kursen, dvs. introducera nya begrepp, satser och algoritmer. Lektionerna kommer att användas för problemlösning.

Duggor

Under kursens gång kommer två duggor att ges. Tidpunkt för dessa meddelas på föreläsningarna samt anslås här. Om man blir godkänd på en dugga (dvs. får minst 10 poäng av 15 möjliga) så får man tillgodoräkna sig en specificerad uppgift vid det första tentamenstillfället 19/10.

Extrauppgifter för NvpMaDa-studenter

Om man vill få kursen registrerad som Automatateori och formella språk 1MA116, 5 poäng, så behöver man göra en extra inlämningsuppgift som inlämnas till mig och eventuelt redovisas muntligt. Denna uppgift beskrivs här. Obs! För IT-studenter så är kursen Automatateori och formella språk bara en del (motsvarande 3 poäng) av kursen Diskret matematik 1MA702, 7 poäng.

Laborationer

Kursen innehåller två frivilliga laborationer. Tanken med dessa är att göra er bekanta med formella språk, automater och grammatiker genom att experimentera med hjälp av ett program som är gjort för detta ändamål. Var och en av laborationerna, om korrekt utförd och skickad till mig (med e-mail) före det första tentemenstillfället, ger en bonuspoäng som endast kan tillgodoräknas vid det första tentamenstillfället. Information om hur laborationerna utförs finns här, där du klickar på LABS.

Gamla tentor (pdf-filer)

Övrigt