Teoretisk datalogi

Information till dig som påbörjar inriktningen våren 2008.

Kurser

Kursdelen ska utformas i samråd med den ansvariga för kompetensinriktningen. Välj minst 25 poäng från nedanstående kurser, eller andra kurser. Inom varje grupp anges kurserna i nummerordning, utan prioritering. Observera att varje kurs har vissa förkunskapskrav och att vissa kurser inte ges varje år. Vad som gäller för läsåret 2007/2008 framgår av studiehandboken

DD2371 Automatteori, 6hp (per 4)
DD2380 Artificiell intelligens, 6hp (per 1)
DD2395 Datasäkerhet, 6hp, (per 1)
DD2455 Teoretiska grunder för objektorientering, 6hp (per. 4)
DD2458 Problemlösn. & progr. under press, 9hp (per. 1-2)
EQ1220 Signalteori, 7.5hp (per 1)
ID1217 Programmering av parallella system, (per 3) 7.5hp
SF2715 Tillämpad kombinatorik, 6hp (ges vartannat år ej 07/08)
SF1851 Optimeringslära för E, (per 1) 6hp

Minst tre av kurserna nedan ska ingå: Poängen från dessa räknas med i de 37.5 hp som ska ingå i inriktningen
DD2440 Avancerade algoritmer, 6hp (per. 2)
DD2441 Seminariekurs i teoretisk datalogi, 6hp (ges vartannat år, ej 07/08)
DD2446 Komplexitetsteori, 6hp (ges vartannat år i per. 4, ges 07/08)
DD2447 Statistiska metoder i datalogin, 6hp (per. 3-4)
DD2450 Algoritmisk bioinformatik, 7.5hp, (ges vartannat år, ges 06/07) (per. 4)
DD2449 Kryptografins grunder, 6hp (per. 3)
DD2452 Formella metoder, 7.5hp (per. 3)
DD2453 Avancerade formella metoder, 7.5hp
DD2454 Semantik för programspråk, 6hp (per 2)
SF2703 Algebra gk 6 hp (per 3)
SF2708 Kombinatorik fk, 7.5hp (per 3-4)

Ingen platsbegränsning

Ansvariga

Stefan Arnborg och Johan Håstad och är inriktningsansvariga.