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 By :AnonymousPosted On :April 14, 2013Is the textbook recommended by the student?NoDid the student enjoy the professor?YesProfessor: Pascal MatsakisComment :Recommendation RatingOverall DifficultyPosted By :BlinkPosted On :January 13, 2011Comment :Recommendation RatingPosted By :Josh GaberPosted On :December 8, 2010Comment :Recommendation RatingPosted By :AnonymousPosted On :October 25, 2010Comment :Recommendation Rating