Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Exercises for chapter 5: Simple LRS = == New notation == <quiz> {What is the correct new way to } {Notation from chapter 2: '''hobbit'''('''frodo''')<br /> New notation:...") |
|||
| Line 3: | Line 3: | ||
== New notation == | == New notation == | ||
<quiz> | <quiz display="simple"> | ||
{What | {We have introduced the functional notation and the eventuality variable in chapter 5. What are the new formulae that correspond to the formulae from chapter 2?} | ||
{Notation from chapter 2: '''hobbit'''('''frodo''')<br /> | {Notation from chapter 2: '''hobbit'''('''frodo''')<br /> | ||
New notation:} | New notation:} | ||
- '''frodo'''•'''hobbit''' | - '''frodo'''•'''hobbit''' | ||
|| The functor ('''hobbit''') must precede the argument ('''frodo'''). | |||
+ '''hobbit'''•'''frodo''' | + '''hobbit'''•'''frodo''' | ||
{Notation from chapter 2: '''help'''('''aragorn''','''frodo''') | |||
New notation: | |||
+ (('''help'''• e)•'''frodo''')•'''aragorn''' | |||
</quiz> | </quiz> | ||
Revision as of 22:35, 15 March 2013
Exercises for chapter 5: Simple LRS
New notation