Dette er et innføringsemne i formell logikk. Studentene vil få et innblikk i både setningslogikk og predikatlogikk. Dette innebærer oversettelse av uttrykk på vanlig språk til logikkens formelle språk ...

2 timer forelesninger, 2 timer plenumsundervisning, 2 timer gruppeundervisning hver uke. Det kreves gjennomføring av obligatoriske oppgaver. Les mer om krav til innlevering av oppgaver, gruppearbeid ...

2 timer forelesninger, 2 timer seminargrupper og 2 timer lab-grupper. Det er sterkt anbefalt å møte på første forelesningen fordi det vil bli gitt viktig information. Det kreves innlevering av ...

In this course you will learn about the relationships between different calculation models, formal languages, their limitations and complexity. The special admission requirements may also be covered ...

Forberedelse: du skal stille forberedt til ukens tema, dvs. ha lest anbefalte tekster, og sett et anbefalt utvalg av undervisningsvideoer. 2 timer forelesning i uka: Gjennomgang (ved faglærer) av ...

Alle hjelpemidler er tillatt ved besvarelse av eksamen. Regler for kildehenvisning er avgjørende for om bruken av hjelpemidlene er lovlig. Eksamensbesvarelsen må være ditt eget selvstendige arbeid.

Emnet gjennomføres som selvstudium på nett. Emnet er tilgjengelig på smartmobil, PC, Mac, eller nettbrett. Emnet har digital eksamen som gjennomføres på nett, som krever at du må være meldt til ...

This course covers many of the general and applied issues of chemistry involved in conservation and archaeology. The course is divided in two parts: A basic part about the structure of the matter, ...

Emnet omhandler problemstillinger knyttet til heterogene multikjernearkitekturer som finnes i alle databehandlingsenheter, som strekker seg fra mobiltelefoner og varebenker til store dataklynger. Du ...

This course examines the history of our universe from the Big Bang, through the formation of the cosmic microwave background, to the universe we see today, with all its large scale structures. To be ...

Fire timer forelesning, to timer regneverksted og to timer øvingsforelesning pr. uke. Øvingsforelesningen er en del av det obligatoriske øvingsopplegget og krever oppmøte. Studenter som kan ...

Studenter som dokumenterer gyldig fravær fra ordinær eksamen, kan ta utsatt eksamen i starten av neste semester. Det tilbys ikke ny eksamen til studenter som har trukket seg under ordinær eksamen, ...