Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
Line 80: | Line 80: | ||
Which parts of the logical form are contributed by which word? | Which parts of the logical form are contributed by which word? | ||
|type="[]"} | |type="[]"} | ||
''e'' ¦ | '''chris''' ¦ | '''pat''' ¦ | '''wait''' ¦ | ''wait''' • ''e'' ¦ | ('''wait''' • ''e'') • '''chris''' ¦ | (('''wait''' • ''e'') • '''chris''') • '''pat''' | |''e'' ¦ | '''chris''' ¦ | '''pat''' ¦ | '''wait''' ¦ | ''wait''' • ''e'' ¦ | ('''wait''' • ''e'') • '''chris''' ¦ | (('''wait''' • ''e'') • '''chris''') • '''pat''' | ||
--+---- Pat | --+---- ''Pat'' | ||
+--++++ waited | +--++++ ''waited'' | ||
-+----- for | -+----- ''for'' | ||
-+----- Chris | -+----- ''Chris'' | ||
</quiz> | </quiz> |
Revision as of 20:18, 3 November 2013
Exercises for chapter 5: Simple LRS
Functional notation
Semantic types
Basic combinatorics
Back to
- the material for chapter 5
- the overview over all chapters.