Vår

Vår

Emnet har eit avgrensa tall på plassar og inngår i undervisningsopptaket.

Meir informasjon: http://www.uib.no/matnat/utdanning/studiehverdag/undervisningsopptakethttp://www.uib.no/matnat/utdanning/studiehverdag/undervisningsopptaket

 Frist for å melde seg til undervising i emnet er onsdag i veke 2 for vårsemesteret. Du får svar på om du har fått plass på emnet på https://fsweb.no/studentweb/login.jsfStudentweb seinast tysdag veka etter fristen.

Tidspunkt for første forelesing/orienteringsmøtet finn du i timeplanen på nettsida til emnet eller på https://mitt.uib.no/login/ldapMitt UiB.

Det er obligatorisk oppmøte på første førelesning.

Etter fullført MNF130 skal studenten kunne

• gjennomføre enkle formelle resonnement i utsegnslogikk og predikatlogikk, bl.a. ved bruk av induksjon.
• bruke elementær mengdelære til å formulere enkle problemstillingar på ei matematisk presis måte ved bruk av funksjonar og relasjonar.
• bruke dette på eit elementært nivå innan algoritmar, talteori, sannsynsrekning, kombinatoriske problem, grafar og formelle språk.

Godkjende obligatoriske oppgåver.

Obligatoriske aktiviteter er gyldige i to semester, det semesteret aktiviteten godkjennes samt det påfølgjande semesteret.