Programsystemteknik

Information för dig som påbörjar inriktningen våren 2007

Välj minst 25 poäng från nedanstående kurser. Inom varje grupp anges kurserna i nummerordning, utan prioritering. I samråd med den ansvariga för inriktningen kan även andra kurser väljas. Observera att varje kurs har vissa förkunskapskrav och att vissa kurser inte ges varje år.

2D1380 Artificiell Intelligens, 4p (per. 1-2)
2D1381 Industriella tillämpningar av AI, 4p (per. 1-2)
2D1387 Programsystemkonstr. med C++, 4p (per. 1-2)
2D1390 Internetprogrammering, 4p (per. 2)
2D1395 Datasäkerhet 4p (per. 1)
2D1410 Användarcentrerad programutv., 6p (per. 3-4)
2D1431 Maskininlärning, 4p (per. 2)
2D1450 Algoritmisk bioinformatik, 4p (per. 4)
2D1453 Avancerade formella metoder, 5p (per. 4)
2D1455 Teoretiska grunder för objektorientering, 5p (per. 4)
2D1456 Avancerad funktionell programmering, 4p (per. 4)
2D1458 Problemlösn. & progr. under press, 4p (per. 1-2)
2D1469 Databasteori, 4p (per. 1)
2D1471 Moderna databassystem och deras användning, 5p (per. 4)
2D1482 Webbservertillämpningsprog., 4p (per. 1 och per. 3)
2D1486 Systemprogrammering och operativsystem, 5p (per. 2)
2G1520 Operativsystem, 5p (per. 2 och 4) (kan inte kombineras med 2D1486)
2G1915 Programmering av parallella system, 5p (per. 1 och 3)
2D1452 Formella metoder, 5p (per. 3)
2D1371 Automatteori, 4p (per. 4)
5B1305 Tillämpad kombinatorik, 4p

Minst tre av kurserna ska väljas bland följande:
2D1375 Programspråksimplementation, 4p (per. 1-2)
Ovanstående ersätts 07/08 av en kurs i kompilatorkonstruktion, 6p (per 1-2)
2D1418 Språkteknologi, 4p (per. 1)
2D1440 Avancerade algoritmer, 4p (per. 2)
2D1458 Problemlösn. & progr. under press, 4p (per. 1-2)
2D1454 Semantik för programspråk, 4p(per.2)

Ansvarig

Stefan Arnborg är inriktningsansvarig.