CTL: Fehler in Folie 8

tzeenie
Mausschubser
Mausschubser
Beiträge: 80
Registriert: 14. Okt 2008 20:04

CTL: Fehler in Folie 8

Beitrag von tzeenie »

Ich glaube da ist ein Fehler in Folie 8, es müsste IMAO heißen:
\(EF\phi = E(\top U \phi)\)

Sieht man auch in der Implementation ein paar Folien weiter.

Benutzeravatar
LinuxFan
Mausschubser
Mausschubser
Beiträge: 73
Registriert: 29. Sep 2008 15:21
Wohnort: Bensheim
Kontaktdaten:

Re: CTL: Fehler in Folie 8

Beitrag von LinuxFan »

Davon will ich nix mehr hören. :-P
Victor-Philipp Negoescu
http://www.viathinksoft.de

Antworten

Zurück zu „Archiv“