School: Georgia Institute of Technology
Department: Computer Science and Engineering
Course: Intro Discrete Math CS
Term: Fall 2018
Tags: proofs, 1.5 Quantifiers, 1.6 nested quantifiers, 1.7, logic, inference, and Discrete math
Name: Intro to Discrete Math for CS week 2
Description: These notes cover sections 1.5 to 1.7 and include examples of the proofs.