Norwegian version of this page

Undervisning

PSY underviser i følgende emner

Vår

  • IN1150 – Logiske metoder
  • IN2100 – Logikk for systemanalyse
  • IN5380 – Kompilatorteknikk

Høst

  • IN2031 – Prosjektoppgave i programmering
  • IN2040 – Funksjonell programmering
  • IN2090 – Databaser og datamodellering (undervises sammen med DKM-gruppen)
  • IN3040 – Programmeringsspråk (undervises sammen med PT-gruppen)
  • IN5170 / IN9170 – Modeller av parallelitet
  • IN5440 / IN9440 – Selected topics in static analysis. Alternerer med IN5110
  • INF5100 / INF9100 - Omskrivingslogikk
  • IN5110 / IN9110 – Specification and Verification of Parallel Systems. Alternerer med IN5440
Published Oct. 10, 2013 3:37 PM - Last modified Aug. 11, 2025 8:23 PM
E-mail this page