• Hopp til hovedinnhold
 
UiO Universitetet i Oslo
No En
  • For ansatte
  • Mine studier
  • 亚博娱乐官网_亚博pt手机客户端登录
  • 亚博娱乐官网_亚博pt手机客户端登录
  • 亚博娱乐官网_亚博pt手机客户端登录
  • Livet rundt studiene
  • Tjenester og verkt?y
  • Om UiO
  • Personer
Undermeny
  • 亚博娱乐官网_亚博pt手机客户端登录
  • Emner
  • Matematikk og naturvitenskap
  • Informatikk
  • IN1150
  • H?st 2024
    • Ofte stilte sp?rsm?l
    • innleveringer
亚博娱乐官网_亚博pt手机客户端登录 > Emner > Matematikk og naturvitenskap > Informatikk > IN1150 > H?st 2024
IN1150 - Logiske metoder

Semesterside for IN1150 - H?st 2024

  • Timeplan
  • Pensum/litteratur i Leganto
  • Eksamen: Tid og sted

Fagl?rere

  • Lars Tveito Universitetet i Oslo
  • Jon Henrik Forssell Universitetet i Oslo

Rettere

  • Embrik Buflod Bovollen
  • Hanne-Kristin Schr?der Leiros
  • Sigurd Sevaldrud
  • Stanislaw Marek Frey
  • Theodor Berg-Hansen

Ressurslenker

  • Nettkurset
  • Discourse
  • Retteliste til Logiske metoder
  • Ofte stilte sp?rsm?l
  • Tidligere eksamener

Beskjeder

  • L?sningsforslag til eksamen, takk for n?, og lykke til med den nye semesteret n? 7. jan. 2025 16:38
  • Takk for f?lget, og lykke til p? eksamen! 18. nov. 2024 17:23
  • Den obligatoriske oppgaven er publisert 8. okt. 2024 19:03
  • Nettkurset er oppe igjen 1. okt. 2024 14:14
  • Nettkurset er nede 30. sep. 2024 18:47
  • Noen tips og p?minnelser 16. sep. 2024 17:50
  • Beklager urettet feil i timeplanen som sa det var Oppgaveverksted i dag! 21. aug. 2024 19:23
  • Velkommen til?IN1150 – Logiske metoder 21. aug. 2024 19:18

Kontakt

Institutt for informatikk

Universitetet i Oslo logo

Kontakt

Kontakt oss
Finn frem

Om nettstedet

Bruk av informasjonskapsler
Tilgjengelighetserkl?ring

Ansvarlig for denne siden

亚博娱乐官网_亚博pt手机客户端登录edakt?r

Logg inn