MCQ Bank
R represents:
- A) real numbers
- B) natural numbers
- C) integers
- D) characters
The universal quantifier denoted by ---------
- A) ∈
- B) ∧
- C) ∀
- D) ~
It is common in the programming world for a ________________ to be undefined.
- A) formula
- B) diagram
- C) equation
- D) value
A quote type defines a single value, and at the same time defines a ____________ containing just that value.
- A) function
- B) constant
- C) type
- D) formula
A new __________ ends the comment in VDM-SL.
- A) backward slash
- B) line
- C) value
- D) pointer
In the system of logic, a proposition could have the value TRUE, FALSE or ……….
- A) Fallacy
- B) Undefined
- C) Conditional
- D) Negative
In VDM-SL, the types clause is the appropriate place to define new ______________.
- A) operations
- B) libraries
- C) functions
- D) types
A compound proposition that is always TRUE and contain only T in their evaluation is called….
- A) Tautologies
- B) Contradictions
- C) Contingency
- D) Proposition
Sometimes it is useful to have a function that returns the last element in a ________________.
- A) specification
- B) program
- C) sequence
- D) set
A subrange returns the set of all numbers from the ____________ to the last number inclusive.
- A) second
- B) first
- C) third
- D) fourth
The ______________ of j and k is the set that contains all the elements that belong to j but do not belong to k.
- A) union
- B) intersection
- C) complement
- D) difference
Subranges used when a set of _____________ integers is required
- A) long
- B) double
- C) continuous
- D) short
Individual fields of ___________ objects are selected (read) by using dot ‘.’ operator.
- A) direct
- B) software
- C) indirect
- D) composite
Each track in a disk divided into a number of ______________.
- A) jumps
- B) signals
- C) sectors
- D) tracks
The ______________ operator checks whether or not a particular element is present in a particular set.
- A) subset
- B) membership
- C) cardinality
- D) assignment
mu (μ) function returns ____________ composite object(s) from another but with one or more fields changed.
- A) two
- B) one
- C) four
- D) three
A ____________ is an unordered collection of objects in which repetition is not significant.
- A) set
- B) sequence
- C) formula
- D) function
A disk is divided into a number of ____________.
- A) statements
- B) signals
- C) tracks
- D) jumps
The _____________ of two sets, j and k returns a set that contains all the elements of the set j and all the elements of the set k.
- A) difference
- B) intersection
- C) complement
- D) union
We can define a sequence by ______________.
- A) comprehension
- B) parameter
- C) sentence
- D) variable