Reference no: EM13285337
Question 9
A structure combining information from songs and plays can be defined using the following definition:
SongsAndPlaysList == seq SongDetails
We assume the existence of the following abbreviation:
SongDetails == Id × SongName × Artist × AlbumTitle × Length × Time × Time × N
Here, the details of each song consists of: an identifier; a song name; an artist; an album title; the song length; the date it was added; the last time it was played; and the number of times it has been played.
(a) A valid element of SongsAndPlaysList will: ensure that there are no duplicate identifiers and ensure that any 'last played' time is later than
any 'date added' time. Define such a ValidSongsAndPlaysList structure. (b) Define a specific ValidSongsAndPlaysList, songs_and_plays, the values of which are defined by the values of songs and plays of Question 6.
(c) Show how the set comprehensions of Question 7 might be recast as set comprehensions on the sequence of part (b).
(d) Show how the recursive function of Question 8 might be recast as a function that takes a sequence of type seq SongDetails as input.
Question 10
You have been informed that the following statements are true:
- "If the team wins all of its league matches, then the team will win the league."
- "The team wins the cup if, and only if, the team wins all of its cup matches."
Assume that: AC represents "wins all cup matches"; AL represents "wins all league matches"; WC represents "wins the cup"; and WL represents "wins the league".
By using the above, prove each of the following via a proof tree.
(a) AC Ù AL => WC Ù WL ( where AND = Ù)
(b) AC V AL => WC V WL (where V = or)
Each step in your tree should be labelled and justified by a basic introduction or elimination rule from our system.
|
What frequency of is heard by the driver of the other car
: Two cars are each traveling at 27.0 m/s, and they are approaching each other. What frequency of is heard by the driver of the other car
|
|
Explain what volume of na3po4 is required to precipitate
: What volume of 0.250 M Na3PO4 is required to precipitate all the lead(II) ions from 180.0 mL of 0.550 M Pb(NO3)2
|
|
Calculate the power intercepted by the microphone
: A certain loudspeaker (assumed to be a point source ) emits 30.0 W of sound power. Calculate the power intercepted by the microphone
|
|
Schedule of interest revenue and bond discount amortization
: On January 1, 2013, Phantom Company acquires $312,100 of Spiderman Products, Inc., 9% bonds at a price of $296,847. The interest is payable each December 31, and the bonds mature December 31, 2015. The investment will provide Phantom Company a ..
|
|
A structure combining information from songs
: A structure combining information from songs and plays can be defined using the following definition: (a) A valid element of SongsAndPlaysList will: ensure that there are no duplicate identifiers and ensure that any 'last played' time is later than
|
|
Explain the n2o3 undergoes complete
: A sample of N2O3 (g) has a pressure of 0.017 atm. The temperature of (in K) is then doubled and the N2O3 undergoes complete
|
|
What was the change in the direction of the velocity
: A plane is flying in the horizontal plane. At time t1 = 0 s with the components of its velocity are vx = 100 m/s and vy = 120 m/s. What was the change in the direction of the velocity
|
|
Calculate sending and voltage-current and voltage regulation
: The line transfer parameters are : A=D=0.9; B=j200 & C=j0.002. a0. Calculate the sending and voltage , current and voltage regulation. using the line loadability equation, calculate the line surge impedance loading ' SIL" and the normal operating ..
|
|
Explain aluminum when the reaction proceeds with yield
: How many grams of alum can be obtained from 20.0 g of aluminum when the reaction proceeds with 100% yield? How many grams of alum would be obtained if the reaction were to proceed with 80.0% yield
|