eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Privatundervisning
Kontakt
eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Privatundervisning
Kontakt
eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Privatundervisning
Kontakt
eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Privatundervisning
Kontakt
Hjem
Høyskole
NTNU
TFE4171
Quiz
Dagens quiz – Temporal logikk og spesifikasjon
Dagens quiz – Temporal logikk og spesifikasjon
Spørsmål 1 av 10
0%
Hva betyr LTL-operatoren
X
ϕ
X\phi
Xϕ
?
Temporal logikk og spesifikasjon
A
ϕ
\phi
ϕ
er sann i alle tilstander
B
ϕ
\phi
ϕ
er sann til slutt en gang i fremtiden
C
ϕ
\phi
ϕ
er sann i neste tilstand (next)
D
ϕ
\phi
ϕ
var sann i forrige tilstand
Vis hint
Rapporter feil