Teoretisk datalogi, 2006

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

2D1373 Artificiella språk och syntaxanalys, 4p (per. 3)
2D1380 Artificiell intelligens, 6p
2D1395 Datasäkerhet, 4p, första omgång 06/07
2D1450 Algoritmisk bioinformatik, 5p (per. 4)
2D1455 Teoretiska grunder för objektorientering, 4p (per. 4)
2D1458 Problemlösn. & progr. under press, 6p (per. 1-2)
2E1423 Signalteori, 4p
2G1117 Semantik för programspråk, 4p
2G1516 Formella metoder, 5p
2G1530 Logikprogrammering, 5p
2G1915 Programmering av parallella system, 5p
5B1305 Tillämpad kombinatorik, 4p
5B1750 Optimeringslära för E och D, 4p

Minst två 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 vartannat år, ges ej 05/06 i per. 4)
2D1446 Komplexitetsteori, 4p (ges vartannat år i per. 4, ges 05/06)
2D1449 Kryptografins grunder, 4p (per. 3)
5B1309 Algebra gk
5B1475 Kombinatorik fk, 5p

Ingen platsbegränsning

Ansvariga

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