eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Skolenyttig
Forum
eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Skolenyttig
Forum
eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Skolenyttig
Forum
eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Skolenyttig
Forum
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%
Hvorfor er proposisjonslogikk (AND, OR, NOT) alene utilstrekkelig for å spesifisere krav til hardware-systemer?
Temporal logikk og spesifikasjon
A
Den støtter ikke binære variabler
B
Den kan kun beskrive egenskaper i én enkelt tilstand, ikke over tids-sekvenser
C
Den kan ikke uttrykke logiske OG/ELLER-relasjoner
D
Den krever flyttalls-aritmetikk som hardware ikke har
Vis hint
Rapporter feil