Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
Søk i nettsidene til UiO
Søk
Forsiden
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om UiO
Personer
Undermeny
Studier
Emner
Matematikk og naturvitenskap
Informatikk
IN1150
Høst 2019
Innleveringer
Timeplan
Ukeplan
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN1150
>
Høst 2019
IN1150 - Logiske metoder
Semesterside for IN1150 - Høst 2019
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Faglærere
Roger Antonsen
Ressurser
Nettkurset ⧉
Slack ⧉
LaTeX-hjelp
YouTube-kanalen ⧉
Rettere
Ida Sandberg Motzfeldt
Tonje Røyeng
Zenon Jan Matuszewski
Beskjeder
Takk for nå og lykke til på eksamen!
18. nov. 2019 16:40
Informasjon om avsluttende eksamen
4. nov. 2019 14:16
En liten oppdatering
18. okt. 2019 16:27
Uke fire og en oppdatering
10. sep. 2019 23:49
Utsagnslogikk og Devilry
28. aug. 2019 19:59
Første uke med selvstudium
22. aug. 2019 15:58
Velkommen til IN1150 som nettkurs for høsten 2019
29. juli 2019 13:59
Kontakt
Institutt for informatikk