Discrete Math Live Quiz

Discrete Math Popup Quiz #6

By JD. Kim

Multiple Choice

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

• Interface

• Implementation

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