Exam (elaborations) Modelling and Reasoning about systems Logic in Computer Science, ISBN: 9781139453059


 
    



!"#
! $
&%
' (*),+--.0/21 34/5) 67+8329:(;/4./81 3<=(;>2?@9BA59B?C+EDF9
GHJICKMLONPHQ R LSH TVUWRXNZY[Q&\
LSU5T UX]^UW_a`bNcRaUWR
d eZfg$hMiEj kl$mg nWo:p d hMq$r s&tEhMu
¡Ÿ
¢
ž £
v wxzy|{c}~€ƒ‚ „~
† ‡ˆy {c}~€ƒ‚ „~ ¥ ¤
‰ w Š‹„Œ„Žc€ƒ{Œ‚’‘”“ Ÿ
• y xE~–v”—‰
˜ ™ ‡š~ • —Œ†
› ‡œw ‡š‚‰cB˜ Ÿ Ÿ
§©¨ ­®&¯C°
± ®²:³´”µ¶°
¬Z¨ · ®²:³´”­¿ µ¶°
¸7¹šº±»¼® ½ Å À ¾Ž®#± ÀÂÁœÁˆ²:´³Æ­©ÃVµ¶Ä ÇE²:³Æ­©µšÃÈ°
§7ª ®· Å ºº À ½½ · Ç ± ÃO°
¬ª Ê ­®É­©Áˆ´È°
§7«
¬‹«
¦ v

,†



ÌFË Í,Î ËÏÂÐZÑÓÒOÔbÕ×ÖÏØАÙÂÚ Í ÐZÛÜ=ÝßÞcАÙáàPâZããZä




å ÒæÑÓАçÑèÛÑêéˆëÛ֖ÑêÛÛëÛçßАÙÂÚëcì5ì Î çç Î ëcÙÂçíÖîë×ï
ÍØðñ ÔWòbóSôÔWõbößÔ
÷ ÑêéøÐZÛÖì8ÑÓÙ7ÖXëù ñ ëcì8éøÕÂÖ Î Ù×ú
ð ì5éšÑêÛ Î ÐÒ ñ ëcÒûÒæÑêúÑüôOëcÙÂÚ×ëcÙáà×õWý
ÅÂþ ¹ø
ÿ º Å ¼ þ º ² »  ²   ­

, 




 




!#"%$&"'
()*+*,
.-/"'0 1

2 

3
4"506)$738*,
.-9"50 : ;

: <3=>"@?
0
)$&"5
(BA>CEDF
4G3>*H0
I 3
0
JK"5( - ;ML

1 


#-9N)DPO3

"@?Q06)$&"5
( R;

; ST
K4G)*+*,
.-/"'0
!8)( 4U)-93=( $&! VW

L XY"%()>CZ4G3
0="%!#"5
([4"')-/N)D\! W2




]

, ^

_F` abc'c7edgfhf7iHc7j




é
kl m9nGop,qrmqhstuswv xzy#{>|
}~&G€
ƒ‚ ÑWËÏ×ëcçÑ „ ÖîëaçîÖАÙÂÚ8ù ëÛ
îößÏ×ÑßçÕÂÙJçÏ Î Ù×ÑÓç Öîë©ÚÂЋÞ.x‡†$АÙÂÚYˆèÚ×ÑÓÙÂëÖîÑÓçQîöXÏ×Ñ
çÕÂÙ çÏ Î Ù×ÑÓç:Öîëcì8ëÛÛë
‰Šx‡†öXÏÂÑ Ë0ëÛÛÑÓçîéˆëcÙÂÚ Î Ù×úù ëÛìaÕÂÒûÐ Î çíÖÏÂÑÓÙ
„h‹Œ ˆ+Ž
ƒ ï ð ù‰SѶÏøАÚüËÏÂëcçîÑÓÙ
Î ˆíÖîëbÚ×ÑÓÙ×ëÖîÑ
îößÏ×ѶçÕÂÙüÚ×ë7ÑÓç Ù×ëÖOçÏ Î Ù×ÑCÖîëcì8ëÛÛëN‰Šx‡†
ÖÏÂÑÓÙEÖÏ×ÑüË0ëÛÛÑÓçîéˆëcÙÂÚ Ù×úaù ëÛìÕøÒûБ‰SëcÕøÒûÚh’ˆÑ
„h‹“ˆ”Ž
}~&•–€N—‚ ÑüˁÏ×ë7ëcçÑ
„ ï îò&ÛÑr˜7Õ×ÑÓç֖ëœËêËêÕ×ہç™x‡†
“
ˆ “ ï îöXÏ×ÑèÛÑr˜œÕ×ÑÓçîÖH‰ Î ÒûÒPљšÑÓÙÖÕÂÐÒ ÒæÞh’šÑ АËܜÙÂëN‰ßÒæÑÓÚÂúÑÓÚMx‡†
› “ ï îöXÏ×ÑèÛrÑ ˜œÕ×ÑÓçîÖ Î ÙÂú8éÂÛë©Ë0ÑÓçç ‰ Î Ò ÒP™Ñ šÑÓÙ7ÖÕÂАÒûÒûÞ=ì5ÐZܐÑüéÂÛëúÛÑÓççrx‡†
ößÏ×Ñèù ëÛìÕÂÒ Ð2ÛÑêéÂÛÑÓçîÑÓÙ7Ö Î Ù×ú2ÖÏ×ÑÚ×ÑÓËêÒûÐZÛÐZÖ Î šÑçîÑÓÙÖîÑÓÙøË0Ñ Î çíÖÏ×ÑÓÙ
„h‹ v ˆHœŒ › |Ž
ƒ ï ð ù9‰:ÑXÏÂАÚ5ËÏÂëcçîÑÓÙ › ÖîëüÚ×ÑÓÙ×ëÖîÑYîöXÏÂіÛÑr˜7ÕÂÎ ÑÓçîÖ Î Ù×úƒéÂÛë©Ë0ÑÓçç ‰:ëcÙMž ÖCљšÑêÛ
ˆ’ Ñ Ð#’øÒûÑèÖîëJì5ÐZܐÑüéøÛëúÛÑÓççêà‡†2ÖÏÂÑüË0ëÛÛÑÓçîéˆëcÙÂÚ Ù×úaù ëÛìaÕÂÒûБ‰:ëcÕÂÒûÚh’ˆÑ
„h‹ v ˆHœ › |Ž
}~7Ÿ €N—‚ ÑüˁÏ×ë7ëcçÑ
› ï îö ëœÚøÐÓސà Î Ö‰ Î Òû҈çÏ Î Ù×Ñ.x‡†
¡ ï îö ëœÚøÐÓސà Î Ö‰ Î ÒûҚÛÐ Î Ù x‡†
ößÏ×ÑèÛÑÓçÕÂÒûÖ Î Ù×ú2ù ëÛìÕÂÒ Ð Î ç v › œ ¡ |M¢£Œ v › ¢ ¡ |¤x
ä