Week 3 (UI Design, Logi × / D 3-Ul-logic.pdf × \\ O Z Notation Part 5 . YouT × \

Question

Week 3 (UI Design, Logi × / D 3-Ul-logic.pdf × O Z Notation Part 5 . YouT × G 1, Y a : Student-3 b : C C Secure https://myasucourses asu edu/bbcswebdav/pid-17461755-dt-content-rid-120402723 1/courses/2018SpringA-X-SER315-25290/3-Ul-logic.pdf : Apps FSAID ASURITESign in Java Platform Standa - Exercise 3 of Lesson Rent BuyTextbooks G Google , How to determine a -Java Game Program Account Summary 1.1 Given Diagram Look at the following Class diagram, which is an object view of a current system state. The objects on the left are of type Student and the objects on the right of type Course. Takes 215 Tshes Sean 315 316 Takes Sue 334 FransT Takes Takes Gloria Task 2.1: Understand Z-Notation (12 points - 2 each) Answer the following questions about each of the given statements.

Explanation / Answer

1. {s:Student | c:Courses | Count (c.Name) > 0 . (a,c) Takes }

Explain:- s represents Student and c represents Course such that every time when a student takes a course the Count of Courses taken is greater than 0 for all such (a,c) that takes a particular Course.

2. {s:Student | c:Courses | Count ((s,c) Takes) > 0 . (a,c) Takes}

Explain:- s represents Student and c represents Course such that for every student that takes a course the Count of such students sould be greater than 0 and such student should belong to Takes.

3. The Predicate value in our system will be True as all students have taken up minimum 1 course.

4. Set of all students that take 334 = {Sue, Gloria} as we can see Sue and Gloria have arrows pointing towards Course 334 with action "Takes".

Please let me know in acse of any clarifications required. Thanks!

Related Questions

Navigate

• Browse (All)
• Browse W
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.