Teoretisk datalogi

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

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 2006/2007 framgår av studiehandboken

2D1371 Automatteori, 4p (per 4)
2D1380 Artificiell intelligens, 6p
2D1395 Datasäkerhet, 4p,
2D1455 Teoretiska grunder för objektorientering, 4p (per. 4)
2D1458 Problemlösn. & progr. under press, 6p (per. 1-2)
2E1423 Signalteori, 4p
2G1915 Programmering av parallella system, 5p
5B1305 Tillämpad kombinatorik, 4p
5B1752 Optimeringslära för E, 4p

Minst tre av kurserna nedan ska ingå: Poängen från dessa räknas med i de 25 poäng som ska ingå i inriktningen
2D1440 Avancerade algoritmer, 4p (per. 2)
2D1441 Seminariekurs i teoretisk datalogi, 4p (ges 06/07 i per. 4)
2D1446 Komplexitetsteori, 4p (ges vartannat år i per. 4, ges ej 06/07)
2D1447 Statistiska metoder i datalogin, 4p (per. 3-4)
2D1450 Algoritmisk bioinformatik, 5p, (ges ej 06/07) (per. 4)
2D1449 Kryptografins grunder, 4p (per. 3)
2D1452 Formella metoder, 5p (per. 3)
2D1453 Avancerade formella metoder, 5p (per. 4)
2D1454 Semantik för programspråk, 4p (per. 2)
5B1309 Algebra gk
5B1475 Kombinatorik fk, 5p

Ingen platsbegränsning

Ansvariga

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