DAT912: Formelle metoder for systemspesifikasjon
- Snitt (beståtte)
- –
- Stryk
- 0 %
- Kandidater
- 8
- År
- 2019–2021
V2021
5 kandidater
Snitt per termin (beståtte)
Stryk per termin
År for år
2 år
| År | Kandidater | Snitt (beståtte) | Stryk |
|---|---|---|---|
| 2021 | 5 | – | 0 % |
| 2019 | 3 | – | 0 % |
Ofte stilte spørsmål om DAT912
Hvor mange stryker i DAT912?
0 % av kandidatene har strøket i DAT912 ved UiS i perioden 2019–2021.
Hvor mange studiepoeng gir DAT912?
DAT912 Formelle metoder for systemspesifikasjon gir 10,0 studiepoeng ved Universitetet i Stavanger.
Hva ligger du an til i DAT912?
Legg emnet i semesterprognosen: den blander karakterene dine med denne fordelingen og anslår hva du ender på, helt gratis og uten innlogging, og karakterene dine blir på din egen enhet.
Prøv semesterprognosenFlere DAT-emner ved UiS
- DAT120 Grunnleggende programmering
- DAT310 Webprogrammering
- DAT200 Algoritmer og datastrukturer
- DAT220 Databaser
- DAT100 Objektorientert programmering
- DAT230 Kommunikasjonsteknologi 1
- DAT320 Operativsystemer og systemprogrammering
- DAT110 Grunnleggende programmering
- DAT250 Informasjons- og programvaresikkerhet
- DATBAC Bacheloroppgave i datateknologi
Emner studentene på DAT912 også tar
- TN910 Innovasjon og prosjektforståelse 464 kandidater
- TN900 Vitenskapsteori- og etikk 455 kandidater
- DAT945 Secure and Robust AI Model Development 59 kandidater
- DAT930 PhD Prosjektemne i datateknologi 25 kandidater
- MSK900 Utvalgte emner i maskinteknikk 19 kandidater
- TN907 Statistiske metoder i medisinsk forskning 1 15 kandidater
Kort oppsummert
I perioden 2019–2021 har 8 kandidater tatt DAT912 (Formelle metoder for systemspesifikasjon) ved Universitetet i Stavanger. Emnet vurderes til bestått/ikke bestått, og 100 % består. 0 % av kandidatene stryker.
Kilde: HK-dirs åpne emnestatistikk (DBH), karakterer 2019–2021, summert over alle emneversjoner. Tallene er de offisielle innrapporterte resultatene. Vi finner ikke på noe. Historikk er ingen garanti for fremtidige resultater.
Hvorfor tallene kan være litt lave
HK-dir holder tilbake celler med under tre kandidater av personvernhensyn: har to personer fått D i en termin, står det 0. Vi ser aldri de kandidatene, så summene våre er litt lavere enn de virkelige.
Målt mot HK-dirs egne totaler for NTNU er det 0,8 % på emner med over tusen kandidater og 16 % på emner med under femti. Jo større emnet er, jo mindre betyr det – for dette emnet er utslaget minst der du ser de største tallene.
Regelen er HK-dirs egen og gjelder alle som bruker dataene, ikke bare oss.

