Kj?re IN1150-student,

I dag har vi v?r f?rste forelesning! Vi starter lett med litt introduksjon, informasjon om kursorganisering og innhold.
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Velkommen! Introduksjon og informasjon om kursorganisering (Anne-Marie)
Kursinnhold - kort fortalt (Henrik)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 1 + Oppgaver (Henrik)

Frivillig Innleveringsoppgaver:
Innlevering 1 om Kapittel 1 og 2 (grunnleggende mengdel?re / utsagnslogikk) er snart tilgjengelig her: Innleveringsoppgaver. 
Frist: Fredag 31. januar, kl. 23:59

...

Kj?re IN1150-student,

Velkommen til nytt semester!
Her er allerede litt informasjon for ? komme i gang:

Forelesninger og gruppetimer:
F?rste forelesning er 20. januar. Gruppetimer starter 28. og 29. januar.
Vennligst sjekk timeplanen din for ? finne ut hvilken gruppe du er i. (Det er mulig ? delta p? andre gruppetimer, forutsatt at det er nok plass. Vennligst gi de andre gruppemedlemmene prioritet!)
Alle forelesnings- og gruppetider finner du her: Timeplan

Utforsk kursmateriell:
Hvis du er nysgjerrig p? kursinnholdet, kan du utforske boken (no. Logiske Metoder / eng. Logical Methods) og ...