Tilstede: Dag Langmyhr, Tone Bratteteig, Josef Noll, Anne Solberg, Mats Høvin, Stein Gjessing, Kristian Hiorth, Andre Kramer Olsen, Kirsti Dalseth.
Sak 1: Referatsaker/orienteringssaker.
- Referat fra møtet 7/12 ble godkjent.
- Statistikk over studieprogresjon ved instituttet og uteksaminerte masterkandidater fordelt på forskningsgruppe fås ved henvendelse til studieadministrasjonen. Noen tall finnes her: http://www.mn.uio.no/ifi/for-ansatte/arbeidsstotte/statistikk/fullforing-master.html
Sak 2: Masterversjon av emnet INF3230 -Formell modellering og analyse av
kommuniserende systemer er vedtatt opprettet. Det 20% ekstra læringsutbyttet utgjøres av tillegg i pensum. Spørsmålet om hvordan studenten skal prøves i det utvidete pensum er videresendt faglærer.
Sak 3: Emnet INF5810 – modallogikk er nedlagt. Emnet erstattes av INF5800 – emner i logikk som heretter går hvert semester. Merk at selv om innholdet i INF5800 vil variere noe fra semester til semester, så kan ikke en student få uttelling for emnet to ganger.
Sak 4: Alle søknader om nye versjoner av eksisterende emner på et annet nivå skal behandles av Undervisningsutvalget.
Sak 5: Masterseminarer og antall studiepoeng.
- Det må godtgjøres at seminaret dekker kravene til arbeidsmengde for fem studiepoeng, ca. 130 timer.
- Både metodekurs og masterseminar går inn under de 20 studiepoeng andre emner i teoretisk pensum som er fastsatt i pkt. 3.3 i Regler for emner, emnegrupper og grader ved Det matematisk-naturvitenskapelige fakultet.
- Emnet INF5xxx- Masterseminar i intelligente data (5sp) er vedtatt opprettet. (Saken var utsatt fra møte 7/12 i påvente av denne saken her).
Dag Langmyhr (leder), Kirsti Ales Dalseth (sekretær)