Discrete Math Live Quiz

Discrete Math Popup Quiz #6

By JD. Kim

Fill in the Blank

[ ] is the process of generalization by reducing the information content of a concept or an observable phenomenon,
typically in order to retain only information which is relevant for a particular purpose.

Multiple Choice

In Computer Science, "Abstraction" is to hide details of [ ] in programs and data.

• Interface

• Implementation

Fill in the Blank

Separation of [ ] from Implementation
is a fundamental principle in Computer Science.

Multiple Choice

Theorem : The Pigeonhole Principle
If f:X→Y and |X|>|Y|, then there are elements x1,x2∈X

such that

• x1 = x2 and f(x1) = f(x2)

• x1 ≠ x2 and f(x1) ≠ f(x2)

• x1 ≠ x2 and f(x1) = f(x2)

• x1 = x2 and f(x1) ≠ f(x2)

Multiple Choice

Proof : an argument that begins with one or more [ 1 ]
             and proceeds using logical rules to establish a [ 2 ]

• [1] propositions

  [2] consequence 

• [1] premises

  [2] conclusion

• [1] premises

  [2] axiom

• [1] consequences

  [2] theorem

Fill in the Blank

A deductive argument is valid   if the conclusion does follow necessarily  from the premises.

A deductive argument is [ ], if it is valid and its premises are true.