Himanshu Gupta

Introduction to the logical and mathematical foundations of computer science. Topics include functions, relations, and sets; recursion; elementary logic; and mathematical induction and other proof techniques.

Bulletin Link

• An ability to define and use discrete structures such as functions and sets.
• To understand recursion as a computing paradigm.
• An ability to use logic and basic proof techniques, such as mathematical induction.

https://www.amazon.com/Discrete-Mathematics-Introduction-Mathematical-Reasoning/dp/0495826170

• Logic (compound statements, quantifiers, etc.)
• Proof methods
• Mathematical Induction and Recursion
• Set theory
• Functions (at least: one-to-one, onto, composition)

CSE215