Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
Line 48: | Line 48: | ||
|type = "{}"} | |type = "{}"} | ||
a. '''frodo'''_{ e _13 }<br /> | |||
a. '''hobbit'''_{ (e,t) _5}<br /> | a. '''hobbit'''_{ (e,t) _5}<br /> | ||
<!-- a. '''hobbit'''_{ (e,t) _5} • ''y''_{ e _5 })_{ t _5 }--> | <!-- a. '''hobbit'''_{ (e,t) _5} • ''y''_{ e _5 })_{ t _5 }--> | ||
</quiz> | </quiz> |
Revision as of 23:05, 15 March 2013
Exercises for chapter 5: Simple LRS
New notation
Semantic types