1. Engineering
  2. Computer Science
  3. task 2 understand znotation 12 points 2 each answer...

Question: task 2 understand znotation 12 points 2 each answer...

Question details

Task 2: Understand Z-Notation (12 points - 2 each) Answer the following questions about each of the given statements. • What does this statement mean? • Is this statement a set or a predicate? • What does the statement evaluate to based on the current system state?

E.g. if it is a set then write what is contained in that set, if it is a predicate state if it
evaluates to true or false. Example: ∃ c : Customer • c.name = Hans ∧ ∀mac : MartialArtClass • (c, mac) ∈ Books • Very explicit explanation: There exists a customer with ( • ) the name Hans and for all MartialArtClass in our system ( • ) the customer c (Hans) is registered. Short version (this is what I expect from you): Predicate if Hans is registered for all MartialArtClasses currently in the system.
• predicate • false, Hans is not registered for all classes.
1. ∀mac : MartialArtClass • ∃ t : Trainer • (t, mac) ∈ Schedules_T

2. {mac : MartialArtClass | ∃ t : Trainer • t.name = Astrid • (t, mac) ∈ Schedules_T}

3. ∃ c : Customer • #{mac : MartialArtClass | (c, mac) ∈ Books} = 3

4. {c : Customer | c.class credit ≥ 5}

5. ∃ma : MartialArtClass • ∀ c : Customer • (c, ma) ∈ Books

6. {ma : MartialArtClass | #{c : Customer | (c, ma) ∈ Books} ≥ 3}

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution