UiO Universitetet i Oslo

IN1150 - Logiske metoder

Semesterside for IN1150 - H?st 2019

Fagl?rere

Roger Antonsen

Ressurser

Rettere

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