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!