Q14, Q15 et Q24

[pannufle]

Bonjour,
Je n'ai pas bien saisi les différences entre les question 13 et 15 sur CTL. Qu'entendez-vous par sémantique des opérateurs ?
Auriez-vous un example pour la question 14 ? Vous parlez d'equivalence entre opérateurs ?
Finalement ou peut-on trouver du matériel pour la question 24 ?
Avons-nous droit à quelconques notes durant la préparation ?

Merci d'avance pour votre réponse

[didierbuchs]

Bonjour, On 29 Jan 2018, at 14:53, Jeremy Hottinger <[email protected]<mailto:[email protected]>> wrote: Bonjour, Je n'ai pas bien saisi les différences entre les question 13 et 15 sur CTL. Qu'entendez-vous par sémantique des opérateurs ? La question 13, c’est plus une description informelle des opérateurs , de la syntaxe de ceux ci et par exemple des diagrammes montrant le sens d’utiliser la logique temporelle. Pour la question 15, il y a des definitions comme je vous et présenter a la séance de questions, cette fonction qui donne les états satisfaisants pour une structure de Kripke. Auriez-vous un example pour la question 14 ? Vous parlez d'equivalence entre opérateurs ? oui, par exemple EF Phi = not (AG not( Phi)) Finalement ou peut-on trouver du matériel pour la question 24 ? Il y a des notes de cours sur le site web, chapitre SymbolicModelChecking vers la page 60. Avons-nous droit à quelconques notes durant la préparation ? A priori non. Meilleures salutations Didier Buchs Merci d'avance pour votre réponse — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub<https://github.com/cui-unige/modelisation-verification/issues/20>, or mute the thread<https://github.com/notifications/unsubscribe-auth/AF8XGT49WFAP4wbKPpareaWQAdkxrtTVks5tPc1ugaJpZM4RwoQV>. {"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/cui-unige/modelisation-verification","title":"cui-unige/modelisation-verification","subtitle":"GitHub repository","main_image_url":"https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/cui-unige/modelisation-verification"}},"updates":{"snippets":[{"icon":"DESCRIPTION","message":"Q14, Q15 et Q24 (#20)"}],"action":{"name":"View Issue","url":"https://github.com/cui-unige/modelisation-verification/issues/20"}}}