An introduction to discrete structures and formal methodologies used in computer science, including Boolean, prepositional and predicate logic, finite set theory, functions, relations, and proof techniques.
An introduction to discrete structures and formal methodologies used in computer science, including Boolean, prepositional and predicate logic, finite set theory, functions, relations, and proof techniques.
Posted On : April 14, 2013
Is the textbook recommended by the student? No
Did the student enjoy the professor? Yes
Professor : Pascal Matsakis
Comment :
Posted On : January 13, 2011
Comment :
Posted On : December 8, 2010
Comment :
Posted On : October 25, 2010
Comment :