Velkommen til nye Eksamensportalen. Siden er bygget om fra bunnen, med nytt studieplanverktøy og raskere eksamenssimulering. Har du kjøpt tilgang på den gamle siden? Logg inn her, så kobler vi tilgangen din til den nye kontoen. Gamle siden er fortsatt åpen.

Demoprøve

Prøv ekte oppgaver uten innlogging. Velg et emne og test deg selv.

GratisTDT4136

Velg emne for demoprøven

117 emner tilgjengelig

Velg emne for demoprøven

Spørsmål 5 av 5 · Flervalg

En formell verifikator sjekker gyldigheten av en sikkerhetsprotokoll representert i utsagnlogikk (PL). Hva betyr det at en setning $\alpha$ er valid (gyldig)?

← Forrige