Beskjeder

Forelesningsnotater fra repetisjonsforelesningen (forelesning 16) er lagt under undervisningsplanen. Kompendium med notater fra forelesningene 1-15, ukeoppgaver og obliger er lagt ut på pensumsiden.

Husk å svare på emneevalueringen (link til nettskjema er sendt ut på epost)!

Lykke til på eksamen! ( eksamensinfo )

Forelesningsnotater fra forelesning 15 er lagt under undervisningsplanen. Husk å sende inn ønsker om stoff til repetisjonsforelesningen senest onsdag 30. mai!

Forelesningsnotater fra forelesning 14 er lagt under undervisningsplanen. Eksamensoppgaver og obliger fra tidligere semestere er lagt ut her.

Årets eksamen blir skriftlig lukket bok eksamen, dvs. at ingen hjelpemidler er tillat.

Forelesningsnotater fra forelesning 13 er lagt under undervisningsplanen.

Send epost med forslag til oppgaver som ønskes gjennomgått på oppgaveforelesningen 21/5 og repetisjonsforelesningen 4/6. Følgende frister gjelder:

• Oppgavegjennomgang: epost må være mottatt senest fredag 18. mai.
• Repetisjonsforelesning: epost må være mottatt senest onsdag 30. mai.

Oppgavesett 7 til gruppetimene er lagt ut under ukeoppgaver. Foiler fra forelesning 12 er lagt ut under undervisningsplanen.

Forelesningsnotater fra forelesning 11 er lagt under undervisningsplanen.

Oppgavesett 5 og 6 til gruppetimene er lagt ut under ukeoppgaver. Oblig 3 er lagt ut under obliger. Merk at leveringsfristen for oblig 3 er fredag 18. mai kl. 14. Dere har dermed over én måned på dere, og kan selv disponere tiden som dere vil. Oblig 3 bygger delvis på oppgavesett 6.

Forelesningsnotater fra forelesning 9 er lagt under undervisningsplanen.

Forelesningsnotater fra forelesning 8 er lagt under undervisningsplanen.

Forelesningsnotater fra forelesning 7 er lagt under undervisningsplanen.

Semantiske dager 2007 avholdes 23.-25. april i Stavanger. Her møtes oljenæringen, offentlig sektor og kunnskapsmiljøene til seminar om den siste utviklingen innen semantisk web (web 2.0) og hvordan denne teknologien kan brukes av olje- og gassindustrien til å innføre såkalte integrerte operasjoner. Her kommer fremstående forskere innen semantisk web, representanter for W3C, IT-ledere og systemutviklere fra industrien, så det blir mulighet til både å lære nye ting og knytte gode kontakter. Logikk, logiske kalkyler og søkealgoritmer er sentrale begreper innen semantisk web, der et av målene er å gjøre det mulig å utføre automatisk resonnering i (svært) store informasjonsmengder.

Ta kontakt hvis du er interessert! Det er mulig å få økonomisk støtte til deltakelse.

Oblig 2 er lagt ut under obligatoriske oppgaver. Leveringsfrist er fredag 16. mars kl. 14:00. Still only Norwegian text. Please contact me if you have questions. You may answer in English.

Forelesningsnotater fra forelesning 6 er lagt under undervisningsplanen.

Forelesningsnotater fra forelesning 5 er lagt under undervisningsplanen. Oppgavesett 4 er lagt ut under ukeoppgaver.

Forelesningsnotater fra forelesning 4 er lagt ut under undervisningsplanen. Nytt oppgavesett er lagt ut under ukeoppgaver.

Husk leveringsfrist for oblig 1 fredag 16/2 kl. 14:00!

Forelesningsnotater fra forelesning 3 er lagt ut under undervisningsplanen.

Oblig 1 er lagt ut under obligatoriske oppgaver. If you are English speaking: I have not prepared the text in English, but feel free to contant me if you have problems understanding it. You may answer in English.

Oppgavesett 2 med ukeoppgaver og datoer for obligatoriske oppgaver er lagt ut. Forelesningsnotater fra forelesning 2 er lagt ut under undervisningsplanen.

Løsningsforslag til ukeoppgaver: Vi har ikke løsningsforslag til ukeoppgavene, så av den grunn blir det vanskelig å legge dem ut. Se under ukeoppgaver.

Norsk-engelsk ordliste er lagt ut her.

Hvorfor multimengder i sekventer? I klassisk utsagnslogikk (som ble forelest 29/1) kan vi klare oss med mengder. I de fleste andre logikker trenger i imidlertid kontraksjon, dvs. muligheten til å kopiere formler før vi analyserer dem. Derfor må vi ha multimengder i sekventene. Dette vil bli klarere når vi kommer til intuisjonistisk logikk og førsteordens logikk.

Ukeoppgaver til første gruppetime 31. januar er lagt ut under ukeoppgaver. Foiler for første forelesning er lagt ut under undervisningsplanen.

Til deg som ikke krysset deg av i pausen på første forelesning: Husk å kontakte Ifi-administrasjonen hvis du vil beholde plassen din på kurset!

Første forelesning mandag 22. januar kl. 14:15 i Lille auditorium, Informatikkbygningen. Husk obligatorisk oppmøte!

Vel møtt!