Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
Line 62: | Line 62: | ||
|''e'' ¦|'''pat''' ¦|'''chris''' ¦|'''like''' ¦|'''like''' • ''e'' ¦|('''like''' • ''e'') • '''chris''' ¦|(('''like''' • ''e'') • '''chris''') • '''pat''' | |''e'' ¦|'''pat''' ¦|'''chris''' ¦|'''like''' ¦|'''like''' • ''e'' ¦|('''like''' • ''e'') • '''chris''' ¦|(('''like''' • ''e'') • '''chris''') • '''pat''' | ||
-+----- ''Pat'' | -+----- ''Pat'' | ||
--+---- ''Chris'' | |||
+--++++ ''likes'' | |||
</quiz> | </quiz> | ||
Revision as of 20:01, 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.