tailieunhanh - Lecture Discrete Structures for Computing - Chapter 3: Proving methods

Lecture Discrete Structures for Computing - Chapter 3: Proving methods. After studying this section will help you understand: logically describe some problems arising in computing; use proving methods: direct, contrapositive, induction; explain problem modeling using discrete structures, . |